A Compiler for the Popr Language
| λ | A packaging of tools for expressing dependency graphs as typed derivations of a multimodal categorial grammar.
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
They see me rollin'. They're Heyting. -- Chamillionaire, 2005
A place to collect work on dialectica categories.
🕸️ An end-to-end neurosymbolic parser for Dutch.
a linear logic prover based on Naoyuki Tamura's llprover that works under SWI Prolog
A Haskell EDSL for conducting threat analysis using Attack Trees
A single-threaded implementation of interaction nets as a lisp-like language.
Espèces généralisées de structures sur les groupoïdes
a library for experimental linear lambda calculus
A neural parser for typelogical grammars based on Sinkhorn networks and Linear Logic Proof Nets.
In Django implemented interface for testing different optimization methods with LinGraph
Agda formalization of the Attack Tree Linear Logic
A latex package to draw the most general interaction nets: with multiports and multiwires (a.k.a. hyperedges)
Lolli ⊸ is a linear logic workbench: parse, prove, extract, and compile linear logic to Rust
Grail 2 theorem prover in SICStus Prolog with TclTk user interface
Richard Moot's personal homepage
Add a description, image, and links to the linear-logic topic page so that developers can more easily learn about it.
To associate your repository with the linear-logic topic, visit your repo's landing page and select "manage topics."