jaybutera / Category-Theory-Notes

Related projects ⓘ

Alternatives and complementary repositories for Category-Theory-Notes

• tdietert / types-as-specifications
  ☆47Updated 5 years ago
• theam / tintin
  📚 A softer alternative to Haddock
  ☆104Updated 4 years ago
• ChrisPenner / Firefly
  Simple Haskell http framework
  ☆87Updated 6 years ago
• puffnfresh / sonic2
  Sonic the Hedgehog 2 in Haskell
  ☆67Updated 2 years ago
• haskell-checkers / checkers
  Check properties on standard classes and data structures
  ☆79Updated 10 months ago
• mstksg / inCode
  Source for personal blog.
  ☆76Updated last week
• eskimor / servant-purescript
  Translate servant API to purescript code, with the help of purescript-bridge.
  ☆105Updated 2 years ago
• sharkdp / purescript-sparkle
  Infer user interfaces from type signatures
  ☆78Updated 6 years ago
• freeman42x / haskell-streamers
  List of Haskell streamers on Twitch, YouTube, etc.
  ☆29Updated 3 years ago
• stepchowfun / effects
  A brief exploration of the various approaches to modeling side effects in a purely functional programming language.
  ☆99Updated 2 years ago
• ChrisPenner / astar-monad
  A smart A* search monad transformer which supports backtracking user-state!
  ☆81Updated 3 years ago
• rpeszek / IdrisTddNotes
  Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
  ☆47Updated 2 years ago
• lorepub / moot
  Moot is a CFP and event management system!
  ☆66Updated 6 years ago
• ajnsit / concur-documentation
  Documentation for Concur
  ☆66Updated 5 months ago
• pigworker / so-pigworker
  being the scrapings of my stackoverflow answers
  ☆48Updated 5 years ago
• picnoir / ex-hack
  Example-based Haskell Documentation Engine
  ☆59Updated 5 years ago
• kowainik / shellmet
  🐚 Out of the shell solution for scripting in Haskell
  ☆70Updated last month
• neongreen / haskell-ex
  (ARCHIVED) Haskell exercises I wrote for Haskell Learning Group
  ☆48Updated 7 years ago
• qfpl / sv
  Comma (and other) separated values
  ☆76Updated last year
• felixmulder / haskell-in-production
  Companion to the Haskell in Production series
  ☆80Updated 5 years ago
• Gabriella439 / Haskell-Lens-Tutorial-Library
  The missing tutorial module for the lens library
  ☆81Updated 6 months ago
• aelve / guide
  A workspace for research teams
  ☆106Updated 4 years ago
• kowainik / slist
  ♾️ Sized list
  ☆46Updated 6 months ago
• snoyberg / why-you-should-use-stm
  ☆40Updated 5 years ago
• Chouffe / haskell-bazaar
  Explore haskell and functional programming concepts
  ☆20Updated 5 years ago
• haskell-github-trust / replace-megaparsec
  Stream editing with Haskell Megaparsec parsers
  ☆79Updated 5 months ago
• fpco / applied-haskell
  ☆80Updated 5 years ago
• nikita-volkov / jsonifier
  Fast and simple JSON encoding toolkit
  ☆83Updated 11 months ago
• cdepillabout / post-about-nix-and-haskell
  ☆29Updated 5 years ago
• zudov / 24-days-of-syntactic-witchery
  Aligning characters for fun and profit, with Haskell and PureScript
  ☆75Updated 6 years ago