Alternatives and similar repositories for clojure-transducers-in-haskell:

Users that are interested in clojure-transducers-in-haskell are comparing it to the libraries listed below

• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆25Updated 9 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago
• QuentinDuval / IdrisReducers
  Transducers for Idris: a library for composable algorithmic transformation.
  ☆32Updated 7 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆23Updated 9 years ago
• pseudonom / phantheck
  Integrates QuickChecked properties into the type system with phantom types
  ☆34Updated 8 years ago
• QuentinDuval / IdrisPipes
  A library for composable and effectful production, transformation and consumption of streams of data in Idris
  ☆37Updated 7 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• pselm / core
  A Purescript implementation of Elm's `core` library
  ☆30Updated 6 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• KesterTong / idris2048
  2048 in Idris
  ☆121Updated 7 years ago
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 8 years ago
• ChrisPenner / selections
  Haskell Package for operating with selections over an underlying functor
  ☆22Updated 4 years ago
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• micahhahn / FunctionalGeometry
  A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".
  ☆26Updated 7 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 6 years ago
• mietek / formal-logic
  TODO
  ☆23Updated 9 years ago
• ocamllabs / ocaml-effects
  *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers
  ☆27Updated 8 years ago
• zadarnowski / quiver
  Quiver stream processing library
  ☆15Updated 8 years ago
• michaelballantyne / meta-minikanren
  A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!
  ☆22Updated 8 years ago
• kellino / microML
  a simple functional language for learners
  ☆30Updated 8 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• reinh / haskell-wishlist
  A curated wishlist of Haskell libraries, packages, and tools
  ☆16Updated 8 years ago
• snoyberg / basic-prelude
  An enhanced core prelude, meant for building up more complete preludes on top of.
  ☆49Updated 7 years ago
• Gabriella439 / haskell-in-the-large
  A book about large-scale design in Haskell
  ☆75Updated 10 years ago
• ivan-m / haskell-docs
  Get the Haskell documentation of a name from a module
  ☆32Updated 5 years ago
• david-christiansen / tt-playground
  A playground for type theory implementations in Racket
  ☆20Updated 9 years ago
• jfdm / idris-config
  Parsers for various configuration files written in Idris.
  ☆19Updated 7 years ago
• vmchale / permutations
  Provides a type-safe way of working with permutations in Idris
  ☆35Updated 3 years ago
• haskell-lisp / historic-lisk
  S-expression-based syntax alternative for Haskell.
  ☆21Updated 11 years ago