Alternatives and similar repositories for active

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

• ekmett / zippers
  Zippers based on lenses and traversals
  ☆40Updated last year
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 10 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 3 months ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 2 months ago
• haskell-perf / numbers
  Benchmarks for numbers: ints, doubles, bignums, rationals, etc.
  ☆20Updated 8 years ago
• maoe / viewprof
  Text-based interactive GHC .prof viewer
  ☆48Updated 2 years ago
• sheaf / acts
  Haskell library for semigroup actions and torsors
  ☆62Updated 4 months ago
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆37Updated 14 years ago
• camfort / reprinter
  Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring
  ☆27Updated 4 years ago
• ucsd-progsys / lh-workshop
  Materials for 2-hr LiquidHaskell Workshop
  ☆11Updated 3 years ago
• scrive / log
  Structured logging solution.
  ☆35Updated this week
• llvm-hs / llvm-hs-quote
  Quasiquoter for LLVM
  ☆31Updated 7 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆20Updated 10 years ago
• vmchale / permutations
  Provides a type-safe way of working with permutations in Idris
  ☆36Updated 3 years ago
• tweag / distributed-closure
  Serializable closures for distributed programming.
  ☆65Updated last year
• ndmitchell / profiterole
  GHC prof manipulation script
  ☆32Updated last year
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated last month
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated last year
• chrisdone-archive / webshow
  Show programming language printed values in a web UI
  ☆24Updated 6 years ago
• Shimuuar / fixed-vector
  Fixed length vector for haskell
  ☆21Updated 5 months ago
• phadej / tdigest
  On-line accumulation of rank-based statistics such as quantiles and trimmed means
  ☆31Updated 11 months ago
• hedgehogqa / haskell-hedgehog-classes
  Hedgehog will eat your typeclass bugs
  ☆56Updated 3 weeks ago
• leftaroundabout / Symbolic-math-HaTeX
  Convenient Haskell syntax for writing in LaTeX math expressions
  ☆28Updated last year
• pseudonom / phantheck
  Integrates QuickChecked properties into the type system with phantom types
  ☆34Updated 8 years ago
• gelisam / conway
  Demonstrating comonad transformers.
  ☆37Updated 8 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆65Updated 6 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 2 years ago
• agocorona / TCache
  Transactional cache with configurable persistence
  ☆46Updated 2 years ago
• dalaing / cofun
  Cofun with Cofree Comonads
  ☆32Updated 9 years ago
• osa1 / StrictCore
  An experimental intermediate language for GHC
  ☆36Updated 7 years ago