Starred repositories
A programming language that is higher level than Rust but lower level than Go. Someday, anyways.
A Python module to customize the process title
Systems language with linear types and capability-based security.
A Wadler–Lindig pretty printer for Python
Staging repo for development of native port of TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
Parser combinators built for speed and memory efficiency
generates an assembler and a disassembler from an ARM MRA file
A Python-embedded DSL that makes it easy to write fast, scalable ML kernels with minimal boilerplate.
Substitution redundancy SAT proof trimming, labeling, and checking
Rust virtual machine and JIT compiler for eBPF programs
Studying how compiler optimizations break and fix constant-time
Assembler toolkit: encoding and decoding of various architectures
TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semantically equivalent C code amenable to verification, in order to ta…
The CompCert formally-verified C compiler
Formally Verified X.509 Certificate Validation
Tilus is a tile-level kernel programming language with explicit control over shared memory and registers.
A pure-Rust implementation of group operations on Ristretto and Curve25519
Sandwich is a multi-platform, multi-language, open-source library that provides a simple unified API for developers to use (multiple) cryptographic libraries in their applications.