Alternatives and similar repositories for aftok

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

• sellout / caterwaul
  Wailing into the primordial ooze of category theory
  ☆55Updated last month
• sellout / dada
  A total recursion scheme library for Dhall
  ☆66Updated last month
• jvanbruegge / Megarecord
  My experiment about implementing Row Polymorphism in current Haskell
  ☆16Updated 6 years ago
• FormationAI / dhall-bhat
  Tasty meal of Dhall
  ☆66Updated last year
• Tehnix / miso-isomorphic-stack
  An example of an "isomorphic" Miso server set up with stack
  ☆43Updated 4 years ago
• roman / Haskell-etc
  Declarative configuration spec for Haskell projects
  ☆47Updated 6 years ago
• ocharles / rio-effect
  An effect system similar to mtl with explicit dictionary passing.
  ☆17Updated 6 years ago
• BardurArantsson / cqrs
  CQRS Implementation for Haskell
  ☆47Updated 4 years ago
• Lysxia / first-class-families
  First-class type families
  ☆88Updated last month
• cohomolo-gy / Isomorphic-Reasoning
  Isomorphic Reasoning: Counting with Types
  ☆37Updated 5 years ago
• serokell / ariadne
  An open source Ada wallet for users who need more
  ☆40Updated 5 years ago
• roman / Haskell-capataz
  OTP-like supervision trees in Haskell
  ☆62Updated 6 years ago
• joneshf / purcel
  ☆24Updated 6 years ago
• bitc / hs-vault-tool
  Haskell client library for HashiCorp's Vault tool (via HTTP API)
  ☆10Updated 3 years ago
• willtim / recursion-schemes
  My London HUG talk: Recursion Schemes by Example
  ☆50Updated 10 years ago
• cohomolo-gy / homotopy-type-theory-notes
  HoTT Note-taking action
  ☆25Updated 6 years ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• haskell-waargonaut / waargonaut
  JSON decoding/encoding/manipulation library.
  ☆93Updated 2 years ago
• emilypi / smash
  Smash products, Wedge products, and other Pointed stuff
  ☆34Updated 3 years ago
• purescript-contrib / purescript-matryoshka
  Generalized folds, unfolds, and traversals for fixed point data structures
  ☆58Updated 3 years ago
• typeable / schematic
  type-safe JSON spec and validation tool
  ☆86Updated 4 years ago
• danidiaz / really-small-backpack-example
  A really small example of the Backpack module system for Haskell
  ☆54Updated 5 months ago
• phadej / aws-lambda-haskell-runtime
  Build AWS Lambda's with Haskell
  ☆11Updated 2 years ago
• nmattia / wai-lambda
  Haskell Webapps on AWS Lambda
  ☆43Updated 2 years ago
• ElvishJerricco / fraxl
  ☆89Updated last year
• isovector / do-notation
  deprecated in favor of -XQualifiedDo
  ☆41Updated 4 years ago
• fpco / badgers
  A https://lobste.rs clone, semi-closed dev process for now.
  ☆12Updated 6 years ago
• acid-state / safecopy
  An extension to Data.Serialize with built-in version control
  ☆59Updated 3 months ago
• dalaing / cofun
  Cofun with Cofree Comonads
  ☆32Updated 9 years ago
• puffnfresh / c4-model
  Haskell implementation of C4 model, for specifying software architecture
  ☆18Updated 2 years ago