Alternatives and similar repositories for proton

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

• alexpeits / harg
  Haskell program configuration using higher kinded data
  ☆29Updated last year
• hanshoglund / iso-deriving
  Derive instances through isomorphisms
  ☆20Updated last year
• dnikolovv / it-has
  A Generic implementation of data-has.
  ☆22Updated 5 years ago
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆56Updated 5 years ago
• SamuelSchlesinger / gaia
  An experiment in functional interface design
  ☆24Updated 8 years ago
• oofp / Beseder
  Beseder: make impossible state transitions impossible
  ☆31Updated 5 years ago
• haskell-servant / servant-dhall
  Servant dhall bindings
  ☆19Updated 4 years ago
• paf31 / purescript-smash
  An "extensible coeffect" system built out of comonads and Day convolution.
  ☆36Updated 4 years ago
• phadej / overloaded
  Overloaded plugin
  ☆30Updated last year
• milesfrain / purescript-faq
  An unofficial FAQ for the PureScript language
  ☆32Updated 4 years ago
• masaeedu / monoidal
  ☆10Updated 4 years ago
• NicolasT / troupe
  Haskell Actors
  ☆25Updated last year
• mwotton / roboservant
  generate contextually sensible fuzz tests for servant apps
  ☆26Updated 7 months ago
• isovector / same-same
  🤳 ignore the differences between `a` and `Identity a`
  ☆25Updated 5 years ago
• pkamenarsky / knit
  Ties the knot on data structures that reference each other by unique keys
  ☆47Updated 10 months ago
• deech / cabal-auto-expose
  ☆31Updated 4 years ago
• gelisam / n-ary-functor
  A single typeclass for Functor, Bifunctor, Trifunctor, etc.
  ☆41Updated last year
• ChrisPenner / unipatterns
  Helpers which allow safe partial pattern matching in lambdas
  ☆31Updated 4 years ago
• kowainik / type-errors-pretty
  💄🐞 Combinators for writing pretty type errors easily
  ☆56Updated 3 years ago
• kcsongor / typelevel-prelude
  Standard module for type-level programming in Haskell
  ☆30Updated 5 years ago
• juspay / jrec
  Literally the best anonymous records
  ☆36Updated 2 years ago
• i-am-tom / oops
  Classy error-handling (and dispatching!) in Haskell.
  ☆46Updated 5 years ago
• chessai / pump
  reverse dependency build matrix generator
  ☆33Updated 4 years ago
• solomon-b / monoidal-functors
  A library encoding monoidal functors and related structures in Haskell.
  ☆16Updated 3 months ago
• qfpl / reflex-tutorial
  ☆29Updated 5 years ago
• solomon-b / HowardLang
  An interpreted lambda calculus with Algebraic and Recursive Types.
  ☆17Updated 3 years ago
• sjoerdvisscher / proarrow
  Haskell library for doing category theory with a central role for profunctors
  ☆21Updated this week
• Lysxia / generic-data
  Generic data types in Haskell, utilities for GHC.Generics
  ☆45Updated 2 months ago
• fumieval / oath
  Composable Concurrent Computation Done Right
  ☆30Updated 2 years ago
• justinwoo / spago2nix
  Generate a derivation of (old) Spago dependencies, and use them to install them into the directory structure used by Spago.
  ☆43Updated last year