Similar repositories to dragostis/Functa:

• dragostis/Functa github similar
• precog/quasar github similar
• ilya-klyuchnikov/spsc-lite-scala github similar
• qdwang/eopl github similar
• GeorgOfenbeck/SpiralS-mini github similar
• ezgicicek/BiRelCost github similar
• pietervdvn/ALGT github similar
• ilya-klyuchnikov/hosc github similar
• presslabs/cobalt github similar
• julianhyde/morel github similar
• mattrossman/r3f-vite github similar
• stchang/typed-rosette github similar
• vrnithinkumar/ETC github similar
• ilya-klyuchnikov/faba github similar
• samskivert/compose github similar
• Wafelack/nixt github similar
• stonebuddha/tree-sitter-sml github similar
• micahcantor/racket-lox github similar
• JohnReppy/compiling-pattern-guards github similar
• wav/material-ui-scalajs-react github similar
• decisionbrain/cplex-scala github similar
• ymyzk/lambda-dti github similar
• dboulytchev/miniKanren-coq github similar
• lexi-lambda/racket-higher-rank github similar
• poitin/Distiller github similar
• edmundnoble/slate github similar
• mthom/shen-minikanren github similar
• neel-krishnaswami/inverse-bidirectional-typechecking github similar
• toothbrush/reflection-proofs github similar
• OhadRau/Quartz github similar
• tominated/system_f_omega github similar
• etienne-dldc/democrat github similar
• bkomuves/nanohs github similar
• martintrojer/scheme-scala github similar
• phaller/lacasa github similar
• ilya-klyuchnikov/mrsc github similar
• david-christiansen/idris-interaction.rkt github similar
• namin/clpsmt-miniKanren github similar
• regb/scabolic github similar
• rewriting/tom github similar