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 9 months ago
• i-am-tom / oops
  Classy error-handling (and dispatching!) in Haskell.
  ☆48Updated 5 years ago
• natefaubion / purescript-typelevel-eval
  Higher order functional programming in PureScript's type system
  ☆43Updated 3 years ago
• solomon-b / monoidal-functors
  A library encoding monoidal functors and related structures in Haskell.
  ☆16Updated last year
• solomon-b / HowardLang
  An interpreted lambda calculus with Algebraic and Recursive Types.
  ☆18Updated 3 years ago
• hedgehogqa / haskell-hedgehog-classes
  Hedgehog will eat your typeclass bugs
  ☆56Updated 5 months ago
• hanshoglund / iso-deriving
  Derive instances through isomorphisms
  ☆20Updated 8 months ago
• pkamenarsky / knit
  Ties the knot on data structures that reference each other by unique keys
  ☆47Updated 6 months ago
• dnikolovv / it-has
  A Generic implementation of data-has.
  ☆22Updated 4 years ago
• garyb / purescript-codec-argonaut
  Bi-directional JSON codecs for argonaut
  ☆38Updated 2 weeks ago
• juspay / jrec
  Literally the best anonymous records
  ☆35Updated last year
• typedbyte / effet
  An effect system based on type classes, written in Haskell.
  ☆44Updated 3 years ago
• paf31 / purescript-smash
  An "extensible coeffect" system built out of comonads and Day convolution.
  ☆36Updated 4 years ago
• kowainik / type-errors-pretty
  💄🐞 Combinators for writing pretty type errors easily
  ☆55Updated 2 years ago
• dnikolovv / servant-purescript-codegen-example
  Generate your PureScript types and API client from a Haskell Servant backend.
  ☆29Updated last year
• purescript / purescript-docs-search
  Search frontend for the documentation generated by the PureScript compiler
  ☆23Updated 6 months ago
• haskell-servant / servant-dhall
  Servant dhall bindings
  ☆19Updated 4 years ago
• ChrisPenner / unipatterns
  Helpers which allow safe partial pattern matching in lambdas
  ☆31Updated 4 years ago
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆56Updated 5 years ago
• masaeedu / monoidal
  ☆10Updated 3 years ago
• justinwoo / awesome-rowlist
  An attempt to catalog RowList/RowToList/row type content and memes
  ☆44Updated 6 years ago
• jeslie0 / mkSpagoDerivation
  Reproducible PureScript projects with Nix
  ☆23Updated this week
• haskell-trasa / trasa
  Safe web routing in haskell
  ☆30Updated last year
• TOTBWF / omit-generics
  Omit fields for instance deriving
  ☆37Updated 4 years ago
• paulyoung / purescript-style
  ☆20Updated 2 years ago
• nmattia / wai-lambda
  Haskell Webapps on AWS Lambda
  ☆43Updated 2 years ago
• kcsongor / typelevel-prelude
  Standard module for type-level programming in Haskell
  ☆31Updated 5 years ago
• JonathanLorimer / htmx
  ☆15Updated 3 months ago
• aische / typelevel-examples
  Haskell Type Level Example Programs
  ☆29Updated 7 years ago
• ChrisPenner / astar-monad
  A smart A* search monad transformer which supports backtracking user-state!
  ☆81Updated 3 years ago