https://github.com/matth2k/safety-net

A reference-counted netlist library for EDA tool development

eda hdl netlist rtl rust verilog

Last synced: 10 Feb 2026

https://github.com/matth2k/synth-benchmarks

Last synced: 26 Jan 2026

https://github.com/matth2k/nl-compiler

Frontend compiler for safety-net

aiger compilers eda verilog

Last synced: 26 Feb 2026

https://github.com/matth2k/shoo

Create your own blackjack trainer or game

blackjack cards casino

Last synced: 26 Jan 2026