nuttycom / aftok

Related projects: ⓘ

• cohomolo-gy / Isomorphic-Reasoning
  Isomorphic Reasoning: Counting with Types
  ☆37Updated 4 years ago
• sellout / caterwaul
  Wailing into the primordial ooze of category theory
  ☆54Updated 3 months ago
• pshirshov / haskell-vscode-hie-stack-debugger-devcontainer
  Example project of DevContainer environment for VSCode with working Stack, nix, HIE and debugger
  ☆14Updated 4 years ago
• ocharles / rio-effect
  An effect system similar to mtl with explicit dictionary passing.
  ☆17Updated 5 years ago
• gwils / next-level-mtl-with-classy-optics
  Getting more out of your transformers with classy optics. Slides from my BFPG talk on 2015-06-09
  ☆31Updated 9 years ago
• Tehnix / miso-isomorphic-stack
  An example of an "isomorphic" Miso server set up with stack
  ☆44Updated 4 years ago
• Enecuum / Node
  Comprehensive framework to build network actors and distributed applications
  ☆44Updated 5 years ago
• isovector / sequoia
  🌳 a monadic FRP game library for haskell
  ☆25Updated 4 years ago
• BardurArantsson / cqrs
  CQRS Implementation for Haskell
  ☆48Updated 3 years ago
• sellout / category-parametric-talk
  Talks on category-parametric programming.
  ☆22Updated 9 months ago
• bitc / hs-vault-tool
  Haskell client library for HashiCorp's Vault tool (via HTTP API)
  ☆10Updated 2 years ago
• dfinity-side-projects / winter
  Haskell port of the WebAssembly OCaml reference interpreter
  ☆46Updated last year
• sellout / dada
  A total recursion scheme library for Dhall
  ☆65Updated 3 weeks ago
• haskell-works / cabal-cache
  CI assistant
  ☆44Updated 2 weeks ago
• ArturGajowy / ghc-clippy-plugin
  A helpful companion to GHC. Overrides GHC messages, to the user's liking.
  ☆33Updated 4 years ago
• kowainik / validation-selective
  💂‍♂️ Lightweight pure validation based on Applicative and Selective functors
  ☆66Updated 4 months ago
• willtim / recursion-schemes
  My London HUG talk: Recursion Schemes by Example
  ☆50Updated 10 years ago
• roman / Haskell-capataz
  OTP-like supervision trees in Haskell
  ☆63Updated 5 years ago
• Lysxia / first-class-families
  First-class type families
  ☆86Updated last month
• lambdaconf / winter-retreat-2017
  The official repository for the LambdaConf 2017 Winter Retreat (January 8 - 12).
  ☆12Updated 8 years ago
• jwiegley / ghc-dynamic-example
  An example of dynamically loading a Haskell source module
  ☆18Updated 6 years ago
• cmk / profunctor-optics
  ☆11Updated 4 years ago
• jappeace / awesome-project-name
  only in name
  ☆17Updated 4 years ago
• cohomolo-gy / homotopy-type-theory-notes
  HoTT Note-taking action
  ☆25Updated 5 years ago
• mrkkrp / facts
  Refined types
  ☆58Updated 5 years ago
• purescript-contrib / purescript-matryoshka
  Generalized folds, unfolds, and traversals for fixed point data structures
  ☆59Updated 2 years ago
• matt-noonan / gdp-paper
  Ghosts of Departed Proofs
  ☆39Updated 6 years ago
• serokell / ariadne
  An open source Ada wallet for users who need more
  ☆40Updated 5 years ago
• dalaing / cofun
  Cofun with Cofree Comonads
  ☆30Updated 8 years ago
• alasconnect / auth0
  Auth0 API in Haskell
  ☆26Updated 5 years ago