Projects in Awesome Lists tagged with linear-logic
A curated list of projects in awesome lists tagged with linear-logic .
https://github.com/HackerFoo/poprc
A Compiler for the Popr Language
compiler concatenative dependent-types functional high-level-synthesis language linear-logic logic-programming non-deterministic partial-evaluators popr popr-compiler supercompiler verilog
Last synced: 22 Apr 2025
https://github.com/ekmett/linear-logic
They see me rollin'. They're Heyting. -- Chamillionaire, 2005
category-theory chu-spaces haskell linear-logic math proof
Last synced: 14 Apr 2025
https://github.com/vikraman/generalised-species
Espèces généralisées de structures sur les groupoïdes
agda category-theory cubical-type-theory linear-logic
Last synced: 23 Feb 2025
