benginow's repositories
Language:Rust000
comp-gen
Automatically generate a compiler using equality saturation
Language:RustMIT000
CompCert
The CompCert formally-verified C compiler, with added memory leak checking
Language:CoqNOASSERTION000
concurrent_graph_bonanza
Implementation of various concurrent graphs
consensus
implementation of 2pc and paxos
Language:Rust000
diospyros
Search-based compiler for high-performance DSP programming
Language:RustMIT000
l4v
seL4 specification and proofs
Language:IsabelleNOASSERTION000
lxc
LXC - Linux Containers
Language:CNOASSERTION000
ray_tracing_torus_js
Ray tracing Torus in JavaScript Yay!
Language:JavaScript000
ruler
Rewrite Rule Inference Using Equality Saturation
Language:RustMIT000
srsRAN5G
Open source O-RAN 5G CU/DU solution from Software Radio Systems (SRS) https://docs.srsran.com/projects/project
Language:C++AGPL-3.0000
verilog_gpu
Implementation of a programmable GPU in Verilog
Language:Verilog000
shuttle
Shuttle is a library for testing concurrent Rust code
Language:RustApache-2.0000
000