Toolkit for research purposes in AIS. See the website for the paper.
Safe Exploration with MPC and Gaussian process models
Datagram Transport Layer Security (DTLS) client.
Swift Codable JSON:API framework
MOBATSim (Model-based Autonomous Traffic Simulation Framework)
Fraunhofer IMS processor core. RISC-V ISA (RV32IM) with additional perip...
Security audit Python project dependencies against security advisory dat...
A repository dedicated to terminal escape injections.
cargo-safety provides safety checks for Rust projects by finding all use...
Open source Android, iOS and Web app for learning about and managing dig...
TruthX: Alleviating Hallucinations by Editing Large Language Models in T...
🔒command line tool checking password safety🔒
Chinese safety prompts for evaluating and improving the safety of LLMs. ...
macOS command line tool to move files to trash
A type-safe implementation for collections that cannot be empty. Life is...