PterosDiacos / lambekseqLinks
Semantic graph parser based on Categorial grammars
☆16Updated 6 months ago
Alternatives and similar repositories for lambekseq
Users that are interested in lambekseq are comparing it to the libraries listed below
Sorting:
- A Haskell roguelike toolkit☆12Updated 6 months ago
- ☆12Updated 5 years ago
- Generic functions for single-sorted first-order structural unification☆45Updated 8 months ago
- a library for experimental linear lambda calculus☆20Updated 2 years ago
- Linear Types, Symmetric Monoidal Categories, and Tensors☆13Updated 2 months ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆16Updated this week
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆85Updated 8 months ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆18Updated 2 years ago
- Grammatical parsers - combinator library for parsing general context-free grammars☆45Updated 2 months ago
- A compiler for the Dana programming language☆11Updated 4 years ago
- classical sequent calculus, embedded in Haskell☆21Updated 4 months ago
- Yoneda lemma in every known language☆17Updated 2 years ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆43Updated 2 years ago
- A talk☆29Updated 4 years ago
- Compile time CAS(Computer Algebra System) for Haskell☆18Updated 3 weeks ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 3 years ago
- Quantitative Type Theory implementation☆54Updated 4 years ago
- Experimental JS bindings for idris2-rhone☆21Updated 2 years ago
- ☆33Updated 3 months ago
- A usable type system for call by push-value☆33Updated 6 years ago
- A non-interactive proof assistant using the Haskell type system☆38Updated 5 years ago
- A verified compiler for a lazy functional language☆37Updated this week
- An embedded probabilistic programming language.☆34Updated 8 years ago
- Basics of the dependently-typed functional language Agda ^_^☆41Updated 4 years ago
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆29Updated 3 years ago
- A small NuPRL style proof assistant☆31Updated 6 years ago
- A partial transpiler from Haskell to Julia.☆16Updated 5 years ago
- Free Algebras in Haskell☆37Updated last year
- Ghosts of Departed Proofs☆62Updated 5 years ago