2 results found Sort:

mazeppa-dev
mazeppa mazeppa-dev
8
400
mit
8
A modern supercompiler for call-by-value functional languages
compiler language functional performance optimization supercompiler static-analysis program-analysis symbolic-execution programming-language functional-programming intermediate-representation
Created 2024-07-11
177 commits to master branch, last one 7 days ago
HackerFoo
poprc HackerFoo
11
246
gpl-3.0
19
A Compiler for the Popr Language
popr verilog compiler language functional linear-logic concatenative popr-compiler supercompiler dependent-types logic-programming non-deterministic partial-evaluators high-level-synthesis
Created 2012-10-07
1,802 commits to master branch, last one 4 years ago