Similar repositories to UlfNorell/x86-agda:
UlfNorell/x86-agda
github
similar
gibiansky/IHaskell
github
similar
danistefanovic/build-your-own-x
github
similar
hecrj/iced
github
similar
RobertHarper/hott-notes
github
similar
neel-krishnaswami/linearml
github
similar
UlfNorell/insane
github
similar
AndrasKovacs/system-f-omega
github
similar
anuyts/menkar
github
similar
algebraic-graphs/agda
github
similar
LightAndLight/qtt
github
similar
metaborg/linear.agda
github
similar
aquynh/capstone
github
similar
pixijs/pixi.js
github
similar
effectfully/Cubes
github
similar
andreasabel/miniagda
github
similar
TOTBWF/muprl
github
similar
twanvl/ttie
github
similar
jozefg/blott
github
similar
mortberg/yacctt
github
similar
sweirich/tal
github
similar
dorchard/effects-as-sessions
github
similar
jozefg/nbe-for-mltt
github
similar
nachivpn/nbe-course
github
similar
oisdk/agda-ring-solver
github
similar
langston-barrett/write-yourself-a-scheme-in-agda
github
similar
valis/hoq
github
similar
Saizan/miller
github
similar
jyp/nano-Agda
github
similar
tootsuite/mastodon
github
similar
brendanzab/rust-nbe-for-mltt
github
similar
andreasabel/strong-normalization
github
similar
inanna-malick/hgit
github
similar
pigworker/potato
github
similar
bobatkey/sott
github
similar
pigworker/Bi71
github
similar
effectfully/OTT
github
similar
TheoWinterhalter/formal-type-theory
github
similar
gallais/parseque
github
similar
evertedsphere/how-to-implement-dependent-type-theory
github
similar