Alternatives and similar repositories for reduxer:

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

• glaebhoerl / simplecompiler
  used to be something more ambitious, cut scope to just a simple compiler for thesis project
  ☆17Updated 6 years ago
• mbg / hindley-milner
  Template for Hindley-Milner based languages
  ☆39Updated 3 years ago
• re-xyr / avail
  Low-overhead effect management for concrete monads
  ☆37Updated 3 years ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆52Updated 7 years ago
• gergoerdi / interaction-nets
  Haskell implementation of interaction net-based lambda evaluation
  ☆20Updated 8 years ago
• byteverse / json-syntax
  High-performance JSON parser
  ☆26Updated 11 months ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 2 years ago
• cedille / cedille-cast
  Source files used for the Cedille Cast videos
  ☆12Updated 4 years ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆22Updated 6 years ago
• maoe / lifted-async
  Run lifted IO operations asynchronously and wait for their results
  ☆28Updated 5 months ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 5 months ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 10 years ago
• dnlkrgr / hsreduce
  Minimizing Haskell programs for easier debugging of GHC compiler crashes
  ☆22Updated 3 years ago
• liamoc / wizards
  High level, generic library for interrogative user interfaces in Haskell
  ☆41Updated 3 years ago
• twanvl / ttie
  Type Theory with Indexed Equality
  ☆25Updated 8 years ago
• sinelaw / hmf
  A copy of Daan Leijen's reference implementation of HMF (type inference)
  ☆16Updated 8 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• FormationAI / dhall-bhat
  Tasty meal of Dhall
  ☆66Updated last year
• mcneissue / purescript-snap
  An approach to user interfaces based in denotational design.
  ☆27Updated 2 years ago
• merijn / broadcast-chan
  Closable, fair, single-wakeup channel type that avoids 0 reader space leaks.
  ☆18Updated last month
• sellout / haskerwaul
  Category theory concepts in type classes and instances.
  ☆22Updated last month
• robrix / tilec
  Sometimes when I feel sad I implement a dependently typed lambda calculus.
  ☆15Updated 5 years ago
• dfinity-side-projects / winter
  Haskell port of the WebAssembly OCaml reference interpreter
  ☆45Updated last year
• tfausak / monadoc-5
  🔖 Better Haskell documentation.
  ☆17Updated 4 years ago
• monadfix / shower
  Clean up the formatting of 'show' output
  ☆21Updated 8 months ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• neel-krishnaswami / linearml
  A simple implementation of linear type theory
  ☆38Updated 8 years ago
• well-typed / full-text-search
  An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.
  ☆49Updated 2 months ago
• sjoerdvisscher / one-liner
  Constraint-based generics
  ☆49Updated last year
• snoyberg / haskup
  Wrap up Haskell tools
  ☆15Updated 3 years ago