Similar repositories to notogawa/sfja-agda:

• notogawa/sfja-agda github similar
• danistefanovic/build-your-own-x github similar
• krassowski/jupyterlab-lsp github similar
• scott-fleischman/redprl-notes github similar
• fujita/rust-nvme github similar
• Trangar/bitrange github similar
• effectfully/Eff github similar
• erantapaa/haskell-regexp-examples github similar
• rodrigogribeiro/agda-software-foundations github similar
• jespercockx/reflection-tutorial github similar
• evertedsphere/preposterous github similar
• YouyouCong/type-preserving-cps github similar
• dcousens/RayTracer github similar
• gmalecha/coq-printf github similar
• dboulytchev/miniKanren-coq github similar
• bobatkey/system-f-parametricity-model github similar
• llee454/functional-algebra github similar
• chrisdone/ats-examples github similar
• effectfully/STLC github similar
• coq-community/dblib github similar
• unicoq/unicoq github similar
• astump/cedille-core-spec github similar
• david-christiansen/final-pretty-printer github similar
• coq/ceps github similar
• gergoerdi/tandoori github similar
• mit-plv/bedrock github similar
• ngzhian/ski github similar
• ekmett/structs github similar
• parsonsmatt/rowdy github similar
• gallais/potpourri github similar
• effectfully/OTT github similar
• scott-fleischman/agda-from-nothing github similar
• Mtac2/Mtac2 github similar
• lthms/FreeSpec github similar
• minetest/serverlist github similar
• leanprover/tc github similar
• scmu/foundations-harper github similar
• UlfNorell/agda-prelude github similar
• clf/celf github similar
• Saizan/miller github similar