isovector / structure-and-decomposition-of-computer-programs

Related projects: ⓘ

• masaeedu / reading
  ☆31Updated 2 years ago
• hedgehogqa / haskell-hedgehog-classes
  Hedgehog will eat your typeclass bugs
  ☆56Updated 2 weeks ago
• kowainik / type-errors-pretty
  💄🐞 Combinators for writing pretty type errors easily
  ☆55Updated 2 years ago
• NinjaTrappeur / ex-hack
  Example-based Haskell Documentation Engine
  ☆59Updated 5 years ago
• unclechu / purescript-for-haskellers
  Some info that supposed to help to understand PureScript from Haskell perspective
  ☆32Updated 6 years ago
• pkamenarsky / knit
  Ties the knot on data structures that reference each other by unique keys
  ☆47Updated last month
• cdepillabout / post-about-nix-and-haskell
  ☆29Updated 5 years ago
• oofp / Beseder
  Beseder: make impossible state transitions impossible
  ☆32Updated 4 years ago
• snoyberg / why-you-should-use-stm
  ☆40Updated 5 years ago
• gelisam / hyzzy
  A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.
  ☆32Updated 4 years ago
• kowainik / extensions
  👅 Parse Haskell Language Extensions
  ☆48Updated 2 months ago
• alexpeits / harg
  Haskell program configuration using higher kinded data
  ☆29Updated 4 months ago
• razvan-flavius-panda / haskell-streamers
  List of Haskell streamers on Twitch, YouTube, etc.
  ☆29Updated 3 years ago
• isovector / type-errors
  tools for writing better type errors
  ☆73Updated last year
• kowainik / shellmet
  🐚 Out of the shell solution for scripting in Haskell
  ☆70Updated last year
• rudymatela / speculate
  Speculate laws about Haskell functions
  ☆30Updated 7 months ago
• marcin-rzeznicki / libjwt-typed
  A Haskell implementation of JSON Web Token (JWT)
  ☆36Updated 7 months ago
• isovector / type-sets
  type level sets
  ☆67Updated 4 years ago
• ChrisPenner / astar-monad
  A smart A* search monad transformer which supports backtracking user-state!
  ☆81Updated 3 years ago
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆57Updated 5 years ago
• jfischoff / tmp-postgres
  Create temporary postgres instances
  ☆53Updated last month
• gelisam / category-syntax
  do-notation for Category and "Arrow without arr"
  ☆63Updated 7 years ago
• ekmett / hkd
  higher-kinded data
  ☆30Updated last year
• ocharles / effect-zoo
  Comparing Haskell effect systems for ergonomics and speed
  ☆65Updated 3 years ago
• ocharles / hlint-source-plugin
  Run HLint as part of normal compilation
  ☆47Updated 6 years ago
• kowainik / validation-selective
  💂‍♂️ Lightweight pure validation based on Applicative and Selective functors
  ☆66Updated 4 months ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 4 years ago
• MercuryTechnologies / slack-web
  Haskell bindings for the Slack web API
  ☆30Updated this week
• zfoh / zureg
  ZuriHac registration system
  ☆22Updated 3 months ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆100Updated last year