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