Alternatives and similar repositories for hasktrip:

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

• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆55Updated 9 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 3 months ago
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 8 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• webyrd / relational-interpreter-with-match
  Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher
  ☆11Updated 9 years ago
• lexi-lambda / racket-higher-rank
  ☆21Updated 7 years ago
• mstone / soutei
  a logic-based trust-management system
  ☆19Updated 12 years ago
• jvranish / MiniKanrenT
  An implementation of miniKanren in Haskell
  ☆78Updated 11 years ago
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆28Updated 6 years ago
• kyagrd / tiper
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Updated 4 years ago
• ChrisPenner / lens-filesystem
  Lens interface for your filesystem
  ☆22Updated 4 years ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆25Updated 9 years ago
• gbaz / mess
  Martin-Löf Extensible Specification and Simulator
  ☆29Updated 9 years ago
• atzeus / CTRex
  Open records for Haskell
  ☆22Updated 7 years ago
• phadej / idioms-plugins
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Updated 6 years ago
• chrisamaphone / ml-mukanren
  microkanren in sml
  ☆26Updated 9 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• serokell / foundry
  Morte IDE
  ☆29Updated last year
• dalaing / type-systems
  ☆23Updated 7 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• fpco / mutable-containers
  Abstactions and concrete implementations of mutable containers
  ☆14Updated 8 years ago
• rampion / kinder-functor
  An alternate definition of Haskell's Functor typeclass
  ☆42Updated 5 years ago
• kowainik / idris-patricia
  🌋 Idris implementation of patricia tree
  ☆22Updated 4 years ago
• pietervdvn / ALGT2
  ALGT 2.0
  ☆30Updated 5 years ago
• michaelballantyne / meta-minikanren
  A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!
  ☆22Updated 8 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago
• sbp / idris-bi
  Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
  ☆36Updated 4 years ago