PterosDiacos / lambekseq

Related projects ⓘ

Alternatives and complementary repositories for lambekseq

• curry-packages / pflp
  Probabilistic Functional Logic Programming
  ☆14Updated 3 weeks ago
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 2 years ago
• DaveBarton / calculi
  Fast parallel calculations in pure mathematics, e.g. Gröbner Bases
  ☆16Updated 3 months ago
• wenkokke / NLQ
  A framework for natural language syntax and semantics based on type theory.
  ☆13Updated 8 months ago
• RichardMoot / LinearOne
  LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
  ☆18Updated 4 years ago
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆23Updated last year
• emiruz / data-analysis-with-x
  Short data science / analysis projects in a variety of programming languages
  ☆10Updated 7 months ago
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 5 years ago
• blamario / grampa
  Grammatical parsers - combinator library for parsing general context-free grammars
  ☆36Updated last month
• egison / sweet-egison
  Haskell library for non-deterministic pattern matching
  ☆17Updated 2 years ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆43Updated 4 years ago
• anthonyywangmath / tikzsd
  A program for generating LaTeX TikZ code for string diagrams.
  ☆18Updated 3 years ago
• sellout / compiling-anything-to-categories
  a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.
  ☆19Updated 7 months ago
• BobMcDear / minbpe-hs
  Byte-level byte pair encoding (BPE) in Haskell
  ☆12Updated 5 months ago
• atzedijkstra / chr
  Constraint Handling Rules
  ☆15Updated 2 months ago
• liarokapisv / danac
  A compiler for the Dana programming language
  ☆11Updated 3 years ago
• alexhumphreys / idrall
  Dhall bindings for Idris
  ☆40Updated last year
• philzook58 / rel
  Explorations in relations and the algebra of programming
  ☆17Updated 5 years ago
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 3 years ago
• augustss / orthotope
  ☆25Updated 5 months ago
• joom / direct-reflection-for-free
  using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell
  ☆15Updated 4 years ago
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆42Updated last year
• conal / paper-2021-language-derivatives
  Paper and talk
  ☆45Updated last year
• Sintrastes / Montague
  A library for non-deterministically parsing natural language expressions into a structured form.
  ☆17Updated last year
• meta-logic / lltp
  TPTP linear logic version
  ☆13Updated 4 years ago
• xgrommx / agda-ecosystem
  ☆28Updated 6 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 6 years ago
• jkoppel / ecta
  ☆33Updated 7 months ago
• rudymatela / conjure
  Produce Haskell functions out of partial definitions
  ☆11Updated last week