PterosDiacos / lambekseqLinks
Semantic graph parser based on Categorial grammars
☆15Updated 4 months ago
Alternatives and similar repositories for lambekseq
Users that are interested in lambekseq are comparing it to the libraries listed below
Sorting:
- A library for non-deterministically parsing natural language expressions into a structured form.☆18Updated 2 years ago
- A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml☆24Updated 6 months ago
- A categorical semantics library in Agda.☆16Updated 5 years ago
- a library for experimental linear lambda calculus☆20Updated 2 years ago
- classical sequent calculus, embedded in Haskell☆21Updated 2 months ago
- A small NuPRL style proof assistant☆31Updated 6 years ago
- ☆12Updated 5 years ago
- A framework for natural language syntax and semantics based on type theory.☆13Updated last year
- Lecture notes on intensional semantics by Kai von Fintel and Irene Heim☆45Updated last year
- TPTP linear logic version☆15Updated 9 months ago
- Compile time CAS(Computer Algebra System) for Haskell☆18Updated 5 years ago
- Agda category theory library for denotational design☆53Updated last week
- A program for generating LaTeX TikZ code for string diagrams.☆19Updated 4 years ago
- machine fusion☆16Updated 7 years ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆43Updated 2 years ago
- Automated Reasoning for the Working Mathematician☆11Updated 6 years ago
- Yoneda lemma in every known language☆17Updated 2 years ago
- A compiler for the Dana programming language☆11Updated 4 years ago
- Generalized syntax & semantics for universe hierarchies☆31Updated last year
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 5 years ago
- LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.☆20Updated 4 years ago
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆28Updated 3 years ago
- A talk☆28Updated 4 years ago
- A library and case-study for linear, intrinsically-typed interpreters in Agda☆36Updated 5 years ago
- Experimental JS bindings for idris2-rhone☆21Updated 2 years ago
- Denotational Semantics of the Untyped Lambda Calculus☆17Updated 8 months ago
- Grammatical parsers - combinator library for parsing general context-free grammars☆42Updated last week
- Lua backend for Idris 2☆28Updated 3 years ago
- Learn Lean and topology☆24Updated 2 years ago
- Compiler backend for generating Scheme code☆27Updated last year