Stars
joke page until I decide what to do with this domain name
Lean 4 port of Iris, a higher-or 10000 der concurrent separation logic framework
The MaPLe compiler: efficient and scalable parallel functional programming
An automated deductive program verifier based on concurrent separation logic
Dirty Pipe root exploit for Android (Pixel 6)
An open Apple Wireless Direct Link (AWDL) implementation written in C
An open Apple AirDrop implementation written in Python
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications!
Formal proof of the Four Color Theorem [maintainer=@ybertot]
A verified library of synchronization primitives and concurrent data structures
Transport coordinate between earth(WGS-84) and mars in china(GCJ-02).
Lean 4 programming language and theorem prover
Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python with AI-powered optimization proposals
Automated testing to find logic and performance bugs in database systems
Verilog AXI components for FPGA implementation