#

supercompiler

Here are 4 public repositories matching this topic...

mazeppa-dev / 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 25, 2024
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 Dec 23, 2024
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

Improve this page

Add a description, image, and links to the supercompiler topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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