Stars
An open source electric sleeping pad inflation device
Research prototype tool for modular formal verification of C, Rust and Java programs
Assembly super-optimization via constraint solving
A cube that balances itself in a corner or edge using reaction wheels
Define compiler intermediate representation usable by external tools
A DNS server that offers useful utilities and services over the DNS protocol. Weather, world time, unit conversion etc.
Shuttle is a library for testing concurrent Rust code
A simple, high-throughput file client for mounting an Amazon S3 bucket as a local file system.
Some programs from Rustan Leino's "Program Proofs", in Why3.
Tricks you wish the Coq manual told you [maintainer=@tchajed]
Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
A computer science textbook
Three-Way Semantic Merge for Feature Model Evolution Plans
Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur
Modular Soundness Checking for Feature Model Evolution Plans
C++ `std::unique_ptr` that represents each object as an NFT on the Ethereum blockchain
Creusot helps you prove your code is correct in an automated fashion.