supercompiler

There are 0 repository under supercompiler topic.

mazeppa-dev / mazeppa
A modern supercompiler for call-by-value functional languages
compiler functional functional-programming intermediate-representation language optimization performance program-analysis programming-language static-analysis supercompiler symbolic-execution
Language:OCaml 427
poprc
HackerFoo / poprc
A Compiler for the Popr Language
language popr popr-compiler compiler concatenative functional logic-programming non-deterministic partial-evaluators dependent-types supercompiler linear-logic verilog high-level-synthesis
Language:C 254
ousialang / oac
(Please don’t repost, this is still a WIP.) A concise and powerful programming language with an insightful compiler.
compiler programming-language language-design languages ousia supercompiler
Language:Rust 4
Stranger2015 / PscC
Perfect super compiler Collection
abstract-interpretation constraints disequality driving equalities inequality optimizer partial-evaluator source-to-source specializer supercompiler transformer
Language:Prolog 1