PterosDiacos / lambekseqLinks
Semantic graph parser based on Categorial grammars
☆15Updated last month
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.☆17Updated 2 years ago
- A framework for natural language syntax and semantics based on type theory.☆13Updated last year
- ☆12Updated 4 years ago
- Lecture notes on intensional semantics by Kai von Fintel and Irene Heim☆45Updated 11 months ago
- A partial transpiler from Haskell to Julia.☆16Updated 4 years ago
- Generic functions for single-sorted first-order structural unification☆46Updated 3 months ago
- Some tools for provability logic☆37Updated 7 years ago
- classical sequent calculus, embedded in Haskell☆21Updated 3 years ago
- A small NuPRL style proof assistant☆31Updated 6 years ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 2 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Updated 5 years ago
- Grammatical parsers - combinator library for parsing general context-free grammars☆37Updated 2 weeks ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆43Updated last year
- Probabilistic Functional Logic Programming☆16Updated 4 months ago
- A formally verified implementation of differential dynamic logic in Coq☆18Updated 3 years ago
- machine fusion☆16Updated 6 years ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆11Updated last month
- Learn Lean and topology☆21Updated 2 years ago
- Agda-style equational reasoning in Haskell☆54Updated 4 months ago
- An embedded probabilistic programming language.☆34Updated 8 years ago
- Agda category theory library for denotational design☆51Updated last year
- A version of Epigram 1 that can run with newer GHCs☆53Updated 8 years ago
- A Henkin-style completeness proof for the modal logic S5☆17Updated 4 years ago
- a library for experimental linear lambda calculus☆20Updated 2 years ago
- Linear Types, Symmetric Monoidal Categories, and Tensors☆13Updated last year
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- Deciding Presburger arithmetic in agda☆32Updated 2 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 2 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Updated 3 years ago
- An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle☆34Updated 2 years ago