Similar repositories to macrotypefunctors/macrotypes-nonstx:

• macrotypefunctors/macrotypes-nonstx github similar
• GU-CLASP/ttr github similar
• wjzz/Agda-small-developments-and-examples github similar
• vishesh/racketscript github similar
• gatlin/psilo github similar
• pnwamk/stop2015-redex github similar
• dpiponi/SASL github similar
• haskell-trasa/trasa github similar
• soupi/pureli github similar
• maxsnew/modal-scheme github similar
• lexi-lambda/functional github similar
• bendmorris/scotch github similar
• spire/spire github similar
• boomerang-lang/boomerang github similar
• alhassy/gentle-intro-to-reflection github similar
• greghendershott/markdown github similar
• mlemerre/l-lang github similar
• PLSysSec/FaCT github similar
• GrammaticalFramework/gf-core github similar
• chessai/theseus github similar
• msakai/cpl github similar
• ditto/ditto github similar
• np/ling github similar
• stchang/macrotypes github similar
• alaricsp/chicken-scheme github similar
• UlfNorell/agda-prelude github similar
• soegaard/whalesong github similar
• jwiegley/coq-haskell github similar
• bollu/tiny-optimising-compiler github similar
• nikita-volkov/refined github similar
• discus-lang/ddc github similar
• MaiaVictor/Cedille-Core github similar
• david-christiansen/pie-hs github similar
• GrammaticalFramework/GF github similar
• martinescardo/HoTT-UF-Agda-Lecture-Notes github similar
• samrushing/irken-compiler github similar
• ermine-language/ermine github similar
• wilbowma/cur github similar
• samth/gradual-typing-bib github similar
• greghendershott/fear-of-macros github similar