Alternatives and similar repositories for lambekseq:

Users that are interested in lambekseq are comparing it to the libraries listed below

• wenkokke / NLQ
  A framework for natural language syntax and semantics based on type theory.
  ☆13Updated 11 months ago
• gallais / agda-presburger
  Deciding Presburger arithmetic in agda
  ☆31Updated last year
• cbeav / symspell
  Haskell implementation of the SymSpell spelling correction algorithm
  ☆9Updated 5 years ago
• RichardMoot / LinearOne
  LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
  ☆18Updated 4 years ago
• curry-packages / pflp
  Probabilistic Functional Logic Programming
  ☆15Updated 3 months ago
• stefan-hoeck / idris2-rhone-js
  Experimental JS bindings for idris2-rhone
  ☆21Updated last year
• coq-community / lemma-overloading
  Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
  ☆27Updated 2 months ago
• meta-logic / lltp
  TPTP linear logic version
  ☆13Updated this week
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated last year
• blamario / monoid-subclasses
  Subclasses of Monoid with a solid theoretical foundation and practical purposes
  ☆33Updated 2 weeks ago
• xgrommx / agda-ecosystem
  ☆29Updated 6 years ago
• ReplicaTest / REPLica
  Golden tests for command-line interfaces.
  ☆18Updated 2 years ago
• blamario / grampa
  Grammatical parsers - combinator library for parsing general context-free grammars
  ☆36Updated last week
• mstewartgallus / prologish
  ☆12Updated 4 years ago
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆23Updated this week
• ohad / collie
  Command line interface library in Idris
  ☆31Updated 6 months ago
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 3 years ago
• tetrapharmakon / yoneda-in-tongues
  Yoneda lemma in every known language
  ☆17Updated last year
• jariazavalverde / fasill
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆21Updated 4 months ago
• kbertalan / tyttp
  ☆19Updated 2 weeks ago
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 2 years ago
• augustss / orthotope
  ☆25Updated 3 weeks ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆27Updated 2 years ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 2 years ago
• owickstrom / pandoc-emphasize-code
  A Pandoc filter for emphasizing code in fenced blocks
  ☆29Updated last year
• wenkokke / idris-sesh
  Session types in Idris2!
  ☆27Updated 4 years ago
• jameshaydon / idris-graphql
  Idris GraphQL
  ☆16Updated 7 years ago
• maxdore / elfe
  Interactive Theorem Proving for students
  ☆20Updated last year
• clayrat / idris-linear
  Experiments with linear types
  ☆14Updated 6 years ago
• bbentzen / mpl
  A Henkin-style completeness proof for the modal logic S5
  ☆13Updated 3 years ago