Alternatives and similar repositories for rel

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

• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 4 years ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 2 years ago
• stefan-hoeck / idris2-webidl
  Parsers and (eventually) Idris code generator for WebIDL documents
  ☆15Updated 9 months ago
• xieyuheng / cat
  A categorical semantics library in Agda.
  ☆16Updated 5 years ago
• mcneissue / purescript-snap
  An approach to user interfaces based in denotational design.
  ☆27Updated 2 years ago
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 6 years ago
• madgen / temporalog
  A Datalog extension to reason about time with CTL operators
  ☆14Updated 5 years ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated last year
• Barry-Jay / Intensional-computation
  translations of a lambda abstraction to combinations of operators
  ☆18Updated 6 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 7 years ago
• complyue / hadui
  Web front UI for interactive Haskell projects
  ☆34Updated 5 years ago
• mietek / formal-logic
  TODO
  ☆23Updated 10 years ago
• vmchale / permutations
  Provides a type-safe way of working with permutations in Idris
  ☆37Updated 4 years ago
• philzook58 / lens-algebra
  Type level algebraic "proofs" using lens combinators
  ☆19Updated 6 years ago
• JacquesCarette / TheoriesAndDataStructures
  Showing how some simple mathematical theories naturally give rise to some common data-structures
  ☆39Updated last year
• mikeizbicki / homoiconic
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18Updated 6 years ago
• vmchale / hs-ats
  Home of the fast-arithmetic library for number theory in ATS and Haskell.
  ☆25Updated last year
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆49Updated 5 months ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆15Updated 10 years ago
• xgrommx / agda-ecosystem
  ☆32Updated 7 years ago
• serokell / foundry
  Morte IDE
  ☆29Updated 7 months ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆32Updated 11 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated last year
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆26Updated 11 years ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆51Updated 7 years ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 10 years ago
• chrisdone-archive / sandbox
  Small random demonstrations of code
  ☆12Updated 5 years ago
• philzook58 / ad-lens
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆20Updated 5 years ago
• jariazavalverde / fasill
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆26Updated last year