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