Similar repositories to krtx/agda-handson:
krtx/agda-handson
github
similar
shinji-kono/zf-in-agda
github
similar
konn/category-agda
github
similar
suharahiromichi/coq
github
similar
cannorin/nml
github
similar
bydriv/mhc
github
similar
myuon/ghc-compiler-notes
github
similar
minoki/LunarML
github
similar
gfngfn/Sesterl
github
similar
KLab/PlaygroundOSS
github
similar
yi-editor/yi
github
similar
sharkdp/fd
github
similar