Grail 2 theorem prover in SICStus Prolog with TclTk user interface

Richard Moot's personal homepage

In Django implemented interface for testing different optimization methods with LinGraph

This is a bibliography of papers using substructural logics in security

Lolli ⊸ is a linear logic workbench: parse, prove, extract, and compile linear logic to Rust

A propositional linear inverse method theorem prover (written in 2003-2004, very lightly maintained)

A single-threaded implementation of interaction nets as a lisp-like language.

An incomplete implementation of CLASS's type system in Agda

A neural parser for typelogical grammars based on Sinkhorn networks and Linear Logic Proof Nets.

A Haskell EDSL for conducting threat analysis using Attack Trees

An implementation of interaction nets.

| λ | A packaging of tools for expressing dependency graphs as typed derivations of a multimodal categorial grammar.

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

Espèces généralisées de structures sur les groupoïdes

Developing a type system for a minimal reversible functional language.

Session Types Library for ATS

🕸️ An end-to-end neurosymbolic parser for Dutch.