Similar repositories to nicolasstucki/dotty-staging-gpce-2018:

• nicolasstucki/dotty-staging-gpce-2018 github similar
• benoitknuchel/Staged-Tagless-Interpreters-in-Dotty github similar
• jmlowenthal/staged-streams.agda github similar
• metaocaml/metaocaml-opam github similar
• GeorgOfenbeck/SpaceTime github similar
• sergei-grechanik/supercompilation-hypergraph github similar
• jmlowenthal/agda-c github similar
• yallop/staged-generic-programming github similar
• yallop/metaocaml-syb github similar
• tsung-ju/SystemF github similar
• bobatkey/system-f-parametricity-model github similar
• poitin/Distiller github similar
• RobertHarper/hott-notes github similar
• sergei-romanenko/agda-simple-scp github similar
• microsoft/staticstaging github similar
• gallais/pearl-binary-search github similar
• ilya-klyuchnikov/mrsc github similar
• namin/clpsmt-miniKanren github similar
• metaocaml/metaocaml-bibliography github similar
• metaocaml/ber-metaocaml github similar
• OUPL/MLCert github similar
• JacquesCarette/finally-tagless github similar
• jmd1011/snek-LMS github similar
• smowton/llpe github similar
• AndrasKovacs/staged-fusion github similar
• slindley/effect-handlers github similar
• TiarkRompf/lms-clean github similar
• UlfNorell/x86-agda github similar
• AndrasKovacs/staged github similar
• kframework/wasm-semantics github similar
• atzeus/reflectionwithoutremorse github similar
• SMLFamily/SML-The-Living-Language github similar
• namin/staged-miniKanren github similar
• JBakouny/Scallina github similar
• TiarkRompf/collapsing-towers github similar
• lampepfl/dotty-macro-examples github similar
• dorchard/effect-monad github similar
• rossberg/hamlet github similar
• vivri/Adjective github similar
• jozefg/nbe-for-mltt github similar