GitHub topics: linear-logic
cicada-lang/inet-lisp-st
A single-threaded implementation of interaction nets as a lisp-like language.
Language: C - Size: 3.63 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 3 - Forks: 1
allgru/LinGraphOptimization
In Django implemented interface for testing different optimization methods with LinGraph
Language: Python - Size: 0 Bytes - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0
cicada-lang/inet-forth
An implementation of interaction nets as a forth-like language.
Language: C - Size: 4.21 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 33 - Forks: 0
konstantinosKokos/aethel
A packaging of tools for expressing dependency graphs as typed derivations of a categorial grammar.
Language: Python - Size: 32.8 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 3
konstantinosKokos/spindle
🕸️ An end-to-end neurosymbolic parser for Dutch.
Language: Python - Size: 105 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 9 - Forks: 1
HackerFoo/poprc
A Compiler for the Popr Language
Language: C - Size: 4.66 MB - Last synced at: 24 days ago - Pushed at: over 4 years ago - Stars: 246 - Forks: 11
RiscadoA/class-agda-playground
An incomplete implementation of CLASS's type system in Agda
Language: Agda - Size: 7.81 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 3 - Forks: 0
ekmett/linear-logic
They see me rollin'. They're Heyting. -- Chamillionaire, 2005
Language: Haskell - Size: 331 KB - Last synced at: about 1 month ago - Pushed at: about 4 years ago - Stars: 83 - Forks: 2
fsestini/zsyntax
Automated theorem prover for a linear logic-based calculus for molecular biology.
Language: Haskell - Size: 709 KB - Last synced at: about 2 months ago - Pushed at: almost 2 years ago - Stars: 11 - Forks: 0
vcvpaiva/DialecticaCategories
A place to collect work on dialectica categories.
Language: TeX - Size: 3.24 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 25 - Forks: 2
petur-a/masters
Developing a type system for a minimal reversible functional language.
Language: TeX - Size: 1020 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 7 - Forks: 0
vikraman/generalised-species
Espèces généralisées de structures sur les groupoïdes
Language: Agda - Size: 150 KB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 5 - Forks: 1
noamz/linlam
a library for experimental linear lambda calculus
Language: Haskell - Size: 157 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 18 - Forks: 0
steinwaywhw/ats-sessions
Session Types Library for ATS
Language: HTML - Size: 2.6 MB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 8 - Forks: 0
kevinclancy/algol-model
Language: Agda - Size: 156 KB - Last synced at: 5 days ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
wenkokke/swillprover 📦
a linear logic prover based on Naoyuki Tamura's llprover that works under SWI Prolog
Language: Prolog - Size: 11.7 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 9 - Forks: 1
chaudhuri/sympli 📦
A propositional linear inverse method theorem prover (written in 2003-2004, very lightly maintained)
Language: Standard ML - Size: 106 KB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 0
konstantinosKokos/neural-proof-nets 📦
A neural parser for typelogical grammars based on Sinkhorn networks and Linear Logic Proof Nets.
Language: Python - Size: 239 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1
RichardMoot/richardmoot.github.io
Richard Moot's personal homepage
Size: 5.2 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
RichardMoot/LinearOne
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
Language: Prolog - Size: 563 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 16 - Forks: 2
RichardMoot/Grail2
Grail 2 theorem prover in SICStus Prolog with TclTk user interface
Language: Prolog - Size: 230 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
MonoidalAttackTrees/ATLL-Formalization
Agda formalization of the Attack Tree Linear Logic
Language: Agda - Size: 115 KB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 4 - Forks: 0
heades/substruct-logic-security-bib
This is a bibliography of papers using substructural logics in security
Size: 7.81 KB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0
MonoidalAttackTrees/Lina
A Haskell EDSL for conducting threat analysis using Attack Trees
Language: Haskell - Size: 75.2 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 1