HackerFoo / poprc Sponsor Star 234 Code Issues Pull requests A Compiler for the Popr Language language dependent-types functional compiler concatenative verilog logic-programming non-deterministic partial-evaluators supercompiler linear-logic popr popr-compiler high-level-synthesis Updated Jan 7, 2021 C
ousialang / oac Star 3 Code Issues Pull requests (Please don’t repost, this is still a WIP.) A concise and powerful programming language with an insightful compiler. programming-language compiler language-design languages supercompiler ousia Updated Mar 12, 2024 Rust
Stranger2015 / PscC Star 1 Code Issues Pull requests Perfect super compiler Collection driving optimizer constraints transformer specializer source-to-source abstract-interpretation inequality supercompiler disequality equalities partial-evaluator Updated Mar 18, 2019 Prolog