Explore Projects
Discover 75 open source projects
Showing 41-60 of 75 projects
stanislaw/awesome-safety-critical
A curated list of resources for writing safety-critical software, focused on best practices and standards.
PKU-Alignment/safe-rlhf
A safe reinforcement learning from human feedback (RLHF) system for aligning large language models with human values.
ferrocene/ferrocene
Ferrocene is a safety-critical Rust toolchain focused on providing a secure and reliable development environment.
coalton-lang/coalton
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
bslatkin/dpxdt
Automated end-to-end test for continuous deployment safety by comparing webpage screenshots.
Tamicer/Novate
A safety client by Https for Android, featuring a chained network library based on Retrofit and RxJava.
nagisa/rust_libloading
Rust bindings for safe and efficient dynamic library loading primitives.
OpenLMLab/MOSS-RLHF
A Python library for exploring secrets of RLHF (Reward-Weighted Maximum Likelihood Estimation) in large language models
centerforaisafety/hle
An AI-powered framework to evaluate the safety and alignment of large language models.
dry-rb/dry-validation
Dry-validation is a Ruby validation library with type-safe schemas and rules for data validation.
sslab-gatech/Rudra
Rudra is a Rust library for detecting memory safety and undefined behavior issues in Rust programs.
mpusz/mp-units
A C++ library for working with physical quantities and units of measurement in a type-safe way.
code-review-checklists/java-concurrency
A checklist for conducting code reviews focused on Java concurrency and thread safety issues.
confident-ai/deepteam
A framework to red team LLMs and LLM systems, focused on improving the safety and reliability of large language models.
RonitSachdev/ccundo
A JavaScript library that integrates with Claude Code to provide granular undo functionality for AI-powered development workflows.
facebook/ThreatExchange
A collection of trust and safety tools to help fight digital harms and protect online communities.
nette/latte
Latte is a secure and intuitive template engine for building PHP applications with a focus on security.
yueliu1999/Awesome-Jailbreak-on-LLMs
A collection of novel jailbreak methods for large language models (LLMs) focused on privacy and safety.
Acmesec/theAIMythbook
An AI safety and application guide for developers building with AI tools and models.
struct/mms
A library that provides modern C/C++ memory safety without sacrificing performance or control.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.