PterosDiacos / lambekseqLinks
Semantic graph parser based on Categorial grammars
☆15Updated 3 years ago
Alternatives and similar repositories for lambekseq
Users that are interested in lambekseq are comparing it to the libraries listed below
Sorting:
- Probabilistic Functional Logic Programming☆16Updated 3 months ago
- Short data science / analysis projects in a variety of programming languages☆10Updated last year
- A framework for natural language syntax and semantics based on type theory.☆13Updated last year
- Grammatical parsers - combinator library for parsing general context-free grammars☆36Updated last month
- Type-driven syntactic and semantic effectful parsing for NL☆13Updated 3 weeks ago
- Lecture notes on intensional semantics by Kai von Fintel and Irene Heim☆45Updated 10 months ago
- Generic functions for single-sorted first-order structural unification☆46Updated last month
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll☆57Updated 5 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated last month
- A non-interactive proof assistant using the Haskell type system☆37Updated 5 years ago
- Subclasses of Monoid with a solid theoretical foundation and practical purposes☆33Updated 3 months ago
- DIY Markov Chains.☆25Updated 7 months ago
- Data frames for Idris 2☆23Updated 2 years ago
- Optics via the profunctor representation theorem☆24Updated 6 months ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 2 years ago
- Transform a Folder into a Stack Template☆13Updated 2 years ago
- Yoneda lemma in every known language☆17Updated 2 years ago
- A talk☆28Updated 4 years ago
- Functionality for beautifying GHCi☆20Updated 5 years ago
- Learning rigid grammars in Haskell.☆24Updated 7 years ago
- Haskell implementation of data structures for data science☆22Updated 3 months ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 4 years ago
- ☆21Updated 2 years ago
- Markup language on top of Haskell☆12Updated 7 months ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆43Updated last year
- Provides a type-safe way of working with permutations in Idris☆36Updated 3 years ago
- ☆10Updated 2 months ago
- Linear lens☆20Updated last year
- A Lean 4 package for heavy numerical computations☆18Updated 3 years ago
- Haskell library for doing category theory with a central role for profunctors☆21Updated this week