Highlights
- Pro
-
yosys Public
Forked from YosysHQ/yosysYosys Open SYnthesis Suite
C++ ISC License UpdatedMay 27, 2025 -
lakeroad Public
FPGA synthesis tool powered by program synthesis
-
caps-track Public
Caps tracking webapp, initially created for the potential Caps Nationals 2025.
-
-
2025-latchup-demo Public
Lakeroad and Churchroad demo for Latch-Up 2025.
-
churchroad Public
FPGA synthesis tool powered by equality saturation and program synthesis.
-
rosette Public
Forked from emina/rosetteThe Rosette solver-aided host language, sample solver-aided DSLs, and demos
Racket Other UpdatedMay 1, 2025 -
-
egraph-serialize Public
Forked from egraphs-good/egraph-serializeegraph <-> json
Rust MIT License UpdatedMar 20, 2025 -
arxiv-html-to-epub Public
Converts HTML Arxiv papers to epub files for easy mobile (or otherwise) reading.
-
egglog Public
Forked from egraphs-good/egglogegraphs + datalog!
Rust MIT License UpdatedFeb 16, 2025 -
-
-
-
-
verilator Public
Forked from verilator/verilatorVerilator open-source SystemVerilog simulator and lint system
-
glenside Public
A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://gussmith23.github.io/glenside-web-demo/
-
Simple Theorem Prover, an efficient SMT solver for bitvectors
C++ Other UpdatedJun 6, 2024 -
churchroad-web-demo Public
http://gussmith23.github.io/churchroad-web-demo/
Rust MIT License UpdatedApr 27, 2024 -
VossII Public
Forked from TeamVoss/VossIIThe source code to the Voss II Hardware Verification Suite
Verilog Apache License 2.0 UpdatedApr 4, 2024 -
-
-
-
arxiv-reader Public
Forked from AI-Guru/arxiv-readerReads arXiv papers using Text-to-Speech
-
rtml-model-characterization Public
Characterizing the models we care about in RTML
-
tvm-custom-datatypes-eval Public
Docker-containerized evaluation of TVM custom datatypes work
Python UpdatedNov 22, 2022 -
-
tvm Public
Forked from apache/tvmOpen deep learning compiler stack for cpu, gpu and specialized accelerators
-
-