- Seattle, WA
- https://lemma.co/about/
- @joranwei
Block or Report
Block or report ranweiler
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language
Sort by: Recently starred
Lean 4 programming language and theorem prover
FunTAL: mixing a functional language with assembly.
Modular And Compositional analysis with KLEE Engine
American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries
A cheatsheet of modern C++ language and library features.
A Clash playground/starter kit, using Nix
Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/
Tink is a multi-language, cross-platform, open source library that provides cryptographic APIs that are secure, easy to use correctly, and hard(er) to misuse.
Coq to Rust program extraction. The whole tree is on the original Coq code base.
Go server for two-man rule style file encryption and decryption.
Resources for the online Type Theory Study Group
The Mechanization of Standard ML
Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine
property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input
A demo implementation of a simple dependently-typed language
An API for data parallelism in JavaScript
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
Empowering everyone to build reliable and efficient software.