#
supercompiler
Here are 4 public repositories matching this topic...
A modern supercompiler for call-by-value functional languages
languageprogramming-languageperformancefunctionalcompilerfunctional-programmingoptimizationstatic-analysissymbolic-executionprogram-analysisintermediate-representationsupercompiler
- Updated
Oct 29, 2025 - OCaml
A Compiler for the Popr Language
languagedependent-typesfunctionalcompilerconcatenativeveriloglogic-programmingnon-deterministicpartial-evaluatorssupercompilerlinear-logicpoprpopr-compilerhigh-level-synthesis
- Updated
Jan 7, 2021 - C
(Please don’t repost, this is still a WIP.) A concise and powerful programming language with an insightful compiler.
- Updated
Sep 23, 2025 - Rust
Perfect super compiler Collection
drivingoptimizerconstraintstransformerspecializersource-to-sourceabstract-interpretationinequalitysupercompilerdisequalityequalitiespartial-evaluator
- Updated
Mar 18, 2019 - Prolog
Improve this page
Add a description, image, and links to thesupercompiler topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thesupercompiler topic, visit your repo's landing page and select "manage topics."