Similar repositories to GeorgOfenbeck/SpiralS-mini:

• GeorgOfenbeck/SpiralS-mini github similar
• ilya-klyuchnikov/spsc-lite-scala github similar
• sergei-grechanik/mrsc github similar
• annenkov/stratego-sll github similar
• ilya-klyuchnikov/hosc github similar
• ilya-klyuchnikov/hosc2 github similar
• ilya-klyuchnikov/sll-meta-haskell github similar
• dragostis/Functa github similar
• sergei-grechanik/supercompilation-hypergraph github similar
• jmchapman/Big-step-Normalisation github similar
• batterseapower/supercompilation-by-evaluation github similar
• ndmitchell/catch github similar
• ilya-klyuchnikov/faba github similar
• ilya-klyuchnikov/mrsc github similar
• batterseapower/chsc github similar
• regb/scabolic github similar
• poitin/Distiller github similar
• GeorgOfenbeck/SpiralS github similar
• mthom/shen-minikanren github similar
• toothbrush/reflection-proofs github similar
• martintrojer/scheme-scala github similar
• david-christiansen/derive-all-the-instances github similar
• rewriting/tom github similar
• namin/scalogno github similar
• ilya-klyuchnikov/sc-mini github similar
• wenkokke/AutoInAgda github similar
• stanford-ppl/Forge github similar
• boomerang-lang/boomerang github similar
• ilya-klyuchnikov/ttlite github similar
• scala-yinyang/scala-yinyang github similar
• TiarkRompf/lancet github similar
• miniKanren/Racket-miniKanren github similar
• danr/hipspec github similar
• metaborg/spoofax github similar
• jrslepak/Remora github similar
• ilya-klyuchnikov/lambdapi github similar
• stanford-ppl/spatial github similar
• ericnormand/hindley-milner github similar
• frank-lang/frank github similar
• ott-lang/ott github similar