Similar repositories to sergei-grechanik/supercompilation-hypergraph:

• sergei-grechanik/supercompilation-hypergraph github similar
• annenkov/stratego-sll github similar
• batterseapower/supercompilation-by-evaluation github similar
• ilya-klyuchnikov/mrsc github similar
• ilya-klyuchnikov/hosc github similar
• sergei-romanenko/mrsct github similar
• sergei-grechanik/mrsc github similar
• dwijnand/sbt-dynver github similar
• danistefanovic/build-your-own-x github similar
• andrei-klimov/mrsc github similar
• eL1x/gpu-image-segmentation github similar
• sergei-romanenko/staged-mrsc-agda github similar
• ilya-klyuchnikov/hosc2 github similar
• GeorgOfenbeck/SpiralS-mini github similar
• jmchapman/Big-step-Normalisation github similar
• ChristianMoesl/lms-wasm github similar
• ilya-klyuchnikov/sll-meta-haskell github similar
• yfcai/CREG github similar
• sergei-grechanik/peqsen github similar
• nicolasstucki/dotty-staging-gpce-2018 github similar
• wjzz/Agda-Representing-Monads github similar
• annenkov/unmix github similar
• sergei-romanenko/agda-simple-scp github similar
• ilya-klyuchnikov/sc-mini github similar
• Delors/BAT github similar
• jesnor/ScalaCode github similar
• m0rphism/definitional github similar
• difflog-project/datalog-bench github similar
• batterseapower/chsc github similar
• julianhyde/morel github similar
• uw-unsat/leanette-popl22-artifact github similar
• stanford-ppl/scala-virtualized github similar
• poitin/Distiller github similar
• Villane/mixfix-parsers github similar
• GeorgOfenbeck/SpaceTime github similar
• RobertHarper/hott-notes github similar
• math-comp/tutorial_material github similar
• gergoerdi/stlc-agda github similar
• runarorama/scala-attoparsec github similar
• sstucki/f-omega-int-agda github similar