Alternatives and similar repositories for Category-Theory-Notes

Users that are interested in Category-Theory-Notes are comparing it to the libraries listed below

• tdietert / types-as-specifications
  ☆49Updated 5 years ago
• sharkdp / purescript-sparkle
  Infer user interfaces from type signatures
  ☆77Updated 7 years ago
• fpco / applied-haskell
  ☆80Updated 6 years ago
• stepchowfun / effects
  A brief exploration of the various approaches to modeling side effects in a purely functional programming language.
  ☆98Updated 3 years ago
• eskimor / servant-purescript
  Translate servant API to purescript code, with the help of purescript-bridge.
  ☆108Updated 2 years ago
• aelve / guide
  A workspace for research teams
  ☆104Updated 5 years ago
• puffnfresh / sonic2
  Sonic the Hedgehog 2 in Haskell
  ☆67Updated 3 years ago
• justinwoo / vidtracker
  A small, "full-stack" Purescript "video tracker" for me to track what shows I've watched locally
  ☆72Updated 5 years ago
• syocy / a-tour-of-go-in-haskell
  Write "Concurrency" section of "A Tour of Go" in Haskell
  ☆130Updated 6 years ago
• snoyberg / why-you-should-use-stm
  ☆42Updated 6 years ago
• picnoir / ex-hack
  Example-based Haskell Documentation Engine
  ☆59Updated 6 years ago
• tfausak / thran
  Compile PureScript into Haskell.
  ☆68Updated 7 years ago
• haskell-at-work / domain-modelling-with-haskell
  ☆38Updated 7 years ago
• Chouffe / haskell-bazaar
  Explore haskell and functional programming concepts
  ☆20Updated 6 years ago
• composewell / streaming-benchmarks
  Benchmarks to compare Haskell streaming library performance
  ☆104Updated 7 months ago
• haskellweekly / haskellweekly.github.io
  A free weekly newsletter about the Haskell programming language.
  ☆89Updated 5 years ago
• lorepub / moot
  Moot is a CFP and event management system!
  ☆66Updated 6 years ago
• eskimor / purescript-bridge
  Create PureScript datatypes from Haskell datatypes
  ☆111Updated 11 months ago
• EncodePanda / todo-rest
  Example of usage polysemy and servant
  ☆56Updated 5 years ago
• fp-works / function-composition-cheatsheet
  Composition of Functions
  ☆24Updated 5 years ago
• kowainik / shellmet
  🐚 Out of the shell solution for scripting in Haskell
  ☆73Updated 8 months ago
• haskell-github-trust / replace-megaparsec
  Stream editing with Haskell Megaparsec parsers
  ☆79Updated last year
• qfpl / sv
  Comma (and other) separated values
  ☆78Updated last year
• theam / tintin
  📚 A softer alternative to Haddock
  ☆106Updated 5 years ago
• kritzcreek / pscid
  A lightweight, fast and unintrusive PureScript file-watcher
  ☆138Updated last year
• i-am-tom / learn-me-a-haskell
  Trying to get back all the stuff I had in JavaScript.
  ☆69Updated 6 years ago
• evertedsphere / silica
  optics for Haskell with the most amazing type errors you've seen
  ☆243Updated 5 years ago
• BartoszMilewski / AofC2017
  Advent of Code 2017
  ☆41Updated 6 years ago
• transient-haskell / axiom
  Client-side and server-side web framework over Transient and GHCJS (Haskell to JavaScript compiler)
  ☆67Updated 4 years ago
• system-f / validation
  A data-type like Either but with an accumulating Applicative
  ☆100Updated last year