Similar repositories to ilya-klyuchnikov/hosc2:

• ilya-klyuchnikov/hosc2 github similar
• sergei-grechanik/mrsc github similar
• annenkov/stratego-sll github similar
• GeorgOfenbeck/SpiralS-mini github similar
• batterseapower/pegs github similar
• ilya-klyuchnikov/sll-meta-haskell github similar
• ilya-klyuchnikov/hosc github similar
• batterseapower/supercompilation-by-evaluation github similar
• batterseapower/chsc github similar
• DanielG/ghc-syb github similar
• sergei-grechanik/supercompilation-hypergraph github similar
• jmchapman/Big-step-Normalisation github similar
• ndmitchell/catch github similar
• batterseapower/openshake github similar
• ilya-klyuchnikov/sc-mini github similar
• toothbrush/reflection-proofs github similar
• ilya-klyuchnikov/mrsc github similar
• david-christiansen/derive-all-the-instances github similar
• regb/scabolic github similar
• wenkokke/AutoInAgda github similar
• danr/hipspec github similar
• ilya-klyuchnikov/lambdapi github similar
• ilya-klyuchnikov/ttlite github similar
• TiarkRompf/lancet github similar
• stanford-ppl/spatial github similar
• Andromedans/andromeda github similar
• WhatsApp/eqwalizer github similar
• agda/agda-stdlib github similar
• edwinb/Blodwen github similar
• michaelt/martin-lof github similar
• clojure/core.logic github similar
• idris-lang/Idris2 github similar
• terralang/terra github similar
• sdiehl/write-you-a-haskell github similar
• idris-lang/Idris-dev github similar
• fpinscala/fpinscala github similar
• bevyengine/bevy github similar
• JuliaLang/julia github similar