#

supercompiler

Here are 5 public repositories matching this topic...

hirrolot / mazeppa

A modern supercompiler for call-by-value functional languages

language programming-language performance functional compiler functional-programming optimization static-analysis symbolic-execution program-analysis intermediate-representation supercompiler

Updated Dec 5, 2025
OCaml

poprc

HackerFoo / poprc

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

(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 17, 2026
Rust

Stranger2015 / PscC

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

namin / sc-mini

SC Mini is a "minimal" positive supercompiler (fork with sound LLM rewrites)

haskell lean supercompiler llm reasonable-reflection

Updated Jul 1, 2026
Haskell

Add this topic to your repo

To associate your repository with the supercompiler topic, visit your repo's landing page and select "manage topics."