Similar repositories to swtwsk/latte-compiler:

• aquynh/capstone github similar
• pixijs/pixi.js github similar
• swtwsk/latte-compiler github similar
• codygman/haskell-nix-stack-workflow github similar
• julianhyde/morel github similar
• minad/tlsf github similar
• aliceml/aliceml-alice github similar
• MaiaVictor/optimul github similar
• habit-lang/language-report github similar
• CampagneLaboratory/ANTLR_MPS github similar
• kellino/microML github similar
• rahulmutt/codec-jvm github similar
• FreeProving/free-compiler github similar
• habit-lang/alb github similar
• mgrabmueller/AlgorithmW github similar
• goldfirere/effects github similar
• b9org/b9 github similar
• frex-project/idris-frex github similar
• tov/alms github similar
• isovector/typecraft github similar
• moonad/FormCoreJS github similar
• bkomuves/toy-language-server github similar
• modelix/modelix github similar
• Keats/scl github similar
• spire/spire github similar
• bjpop/ministg github similar
• mperry/functionalgroovy github similar
• nikita-volkov/jsonifier github similar
• gapt/gapt github similar
• owo-lang/voile-rs github similar
• ZHaskell/z-io github similar
• lamdu/hypertypes github similar
• kpavlov/fixio github similar
• owo-lang/minitt-rs github similar
• type-theory/learn-tt github similar
• channingwalton/typeclassopedia github similar
• zio/zio-flow github similar
• cubix-framework/cubix github similar
• kowainik/awesome-cabal github similar
• ProofSystem/Encyclopedia github similar