Similar repositories to sajattack/Hack_MiSTer:
sajattack/Hack_MiSTer
github
similar
c-cube/trustee
github
similar
lengyijun/polonius-proof
github
similar
nilehmann/liquid-rust
github
similar
ucsd-progsys/mist
github
similar
bollu/blaze
github
similar
frankmcsherry/dynamic-datalog
github
similar
namin/staged-miniKanren
github
similar
ranjitjhala/sprite-lang
github
similar
RedPRL/redtt
github
similar
willcrichton/tyrade
github
similar
Kha/electrolysis
github
similar
cedille/cedille
github
similar
rntz/datafun
github
similar
libfirm/libfirm
github
similar
AndrasKovacs/smalltt
github
similar
f0rki/mapping-high-level-constructs-to-llvm-ir
github
similar
Munksgaard/session-types
github
similar
mortberg/cubicaltt
github
similar
rust-lang/datafrog
github
similar
edwinb/Blodwen
github
similar
FPGAwars/apio
github
similar
viperproject/prusti-dev
github
similar
intel/fastuidraw
github
similar
m-labs/nmigen
github
similar
google/flatui
github
similar
drom/awesome-hdl
github
similar
egraphs-good/egg
github
similar
josephg/diamond-types
github
similar
hdl-util/hdmi
github
similar
integer32llc/rust-playground
github
similar
YosysHQ/nextpnr
github
similar
edwinb/Idris2-boot
github
similar
m-labs/migen
github
similar
sylefeb/Silice
github
similar
vmware/differential-datalog
github
similar
owlbarn/owl
github
similar
salsa-rs/salsa
github
similar
FPGAwars/icestudio
github
similar
sirthias/parboiled
github
similar