2 results found Sort:

HackerFoo
poprc HackerFoo
10
242
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 3 years ago
ekmett
linear-logic ekmett
2
83
other
6
They see me rollin'. They're Heyting. -- Chamillionaire, 2005
math proof haskell chu-spaces linear-logic category-theory
Created 2021-03-28
48 commits to main branch, last one 3 years ago