benginow
Follow
-
-
comp-gen Public
Forked from sgpthomas/comp-genAutomatically generate a compiler using equality saturation
Rust MIT License UpdatedMay 9, 2024 -
-
srsRAN5G Public
Forked from srsran/srsRAN_ProjectOpen source O-RAN 5G CU/DU solution from Software Radio Systems (SRS) https://docs.srsran.com/projects/project
C++ GNU Affero General Public License v3.0 UpdatedDec 1, 2023 -
diospyros Public
Forked from sgpthomas/diospyrosSearch-based compiler for high-performance DSP programming
Rust MIT License UpdatedOct 3, 2023 -
ruler Public
Forked from uwplse/rulerRewrite Rule Inference Using Equality Saturation
Rust MIT License UpdatedSep 25, 2023 -
shuttle Public
Forked from awslabs/shuttleShuttle is a library for testing concurrent Rust code
Rust Apache License 2.0 UpdatedAug 29, 2023 -
-
concurrent_graph_bonanza Public
Implementation of various concurrent graphs
Rust UpdatedApr 21, 2023 -
-
CompCert Public
Forked from AbsInt/CompCertThe CompCert formally-verified C compiler, with added memory leak checking
Coq Other UpdatedOct 20, 2022 -
-
-
-
ray_tracing_torus_js Public
Forked from marcin-chwedczuk/ray_tracing_torus_jsRay tracing Torus in JavaScript Yay!
JavaScript UpdatedJan 2, 2018