Automated Analysis, Regression, and Evaluation
A low-latency, cloud-native KVS
A collection of packages created to increase code reuse across many of my Flutter projects.
A place for everyone to collaborate and communicate: Agendas and meeting notes.
a compiler for re-writing image processing functions in C++ to Halide
A digital traveler for tracking orders in job shops.
Minimalistic snapshot testing for Rust.
All things FF...
The next best thing after Bloomberg Terminal
Curated set of DockerFiles for RISC-V projects
Security monitor for Keystone Enclave (mirror of riscv-pk)
Rocket Chip Generator
Empowering everyone to build reliable and efficient software.
SMACK Software Verifier and Verification Toolchain
A Decentralized Operating System for ZK Applications
Rust lattice experiements
A simple solver for the Stable-Marriage Problem, implementing the Gale-Shapely Algorithm.
A modular implementation of timely dataflow in Rust
UCLID5: formal modeling, verification, and synthesis of computational systems
Evaluation source code for the Vectre++ tool.
Python Model of the RISC-V ISA