A Compiler for the Popr Language
They see me rollin'. They're Heyting. -- Chamillionaire, 2005
📚 Interaction net resources
An implementation of interaction nets as a forth-like language.
A place to collect work on dialectica categories.
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
a library for experimental linear lambda calculus
Automated theorem prover for a linear logic-based calculus for molecular biology.
🕸️ An end-to-end neurosymbolic parser for Dutch.
a linear logic prover based on Naoyuki Tamura's llprover that works under SWI Prolog
An implementation of interaction nets.
Developing a type system for a minimal reversible functional language.
Espèces généralisées de structures sur les groupoïdes
A latex package to draw the most general interaction nets: with multiports and multiwires (a.k.a. hyperedges)
Agda formalization of the Attack Tree Linear Logic
A Haskell EDSL for conducting threat analysis using Attack Trees
| λ | A packaging of tools for expressing dependency graphs as typed derivations of a multimodal categorial grammar.
Lolli ⊸ is a linear logic workbench: parse, prove, extract, and compile linear logic to Rust
An incomplete implementation of CLASS's type system in Agda
To associate your repository with the linear-logic topic, visit your repo's landing page and select "manage topics."