Alternatives and similar repositories for rel

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

• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 3 years ago
• xieyuheng / cat
  A categorical semantics library in Agda.
  ☆16Updated 6 years ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆16Updated 11 years ago
• serokell / foundry
  Morte IDE
  ☆29Updated 10 months ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated last year
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆26Updated 12 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆36Updated last year
• deech / LeftPad
  ☆23Updated 8 years ago
• philzook58 / lens-algebra
  Type level algebraic "proofs" using lens combinators
  ☆19Updated 6 years ago
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 6 years ago
• sirlensalot / fadno-braids
  Braid representations in Haskell
  ☆21Updated 2 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆33Updated 11 years ago
• epost / purescript-datalog-parsers
  Parsers for Prolog, Datomic, and various other Datalog varieties.
  ☆12Updated 8 years ago
• vmchale / permutations
  Provides a type-safe way of working with permutations in Idris
  ☆37Updated 4 years ago
• dmoverton / finite-domain
  Finite domain constraint solver in Haskell
  ☆20Updated 4 years ago
• mcneissue / purescript-snap
  An approach to user interfaces based in denotational design.
  ☆27Updated 3 years ago
• jariazavalverde / fasill
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆26Updated last year
• stefan-hoeck / idris2-webidl
  Parsers and (eventually) Idris code generator for WebIDL documents
  ☆16Updated last year
• m0ar / lollipop
  A general purpose programming language with linear types
  ☆43Updated 8 years 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 5 years ago
• mietek / formal-logic
  TODO
  ☆23Updated 10 years ago
• cedille / cedille-cast
  Source files used for the Cedille Cast videos
  ☆13Updated last month
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆29Updated 4 years ago
• chrisdone-archive / sandbox
  Small random demonstrations of code
  ☆12Updated 6 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 7 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 9 years ago
• byorgey / enumeration
  Simple Haskell package for efficiently indexable finite and infinite enumerations.
  ☆12Updated 9 months ago
• ayberkt / grammar-inference
  Learning rigid grammars in Haskell.
  ☆24Updated 8 years ago
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 7 years ago
• seereason / atp-haskell
  Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"
  ☆18Updated last year