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
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 6 months ago
• pigworker / so-pigworker
  being the scrapings of my stackoverflow answers
  ☆48Updated 5 years ago
• composewell / streaming-benchmarks
  Benchmarks to compare Haskell streaming library performance
  ☆103Updated 6 months ago
• snoyberg / why-you-should-use-stm
  ☆42Updated 6 years ago
• aelve / guide
  A workspace for research teams
  ☆105Updated 5 years ago
• freeman42x / haskell-streamers
  List of Haskell streamers on Twitch, YouTube, etc.
  ☆29Updated 4 years ago
• theam / tintin
  📚 A softer alternative to Haddock
  ☆106Updated 5 years ago
• ChrisPenner / Firefly
  Simple Haskell http framework
  ☆87Updated 6 years ago
• phadej / write-yourself-a-typed-functional-language
  Write yourself a typed functional language
  ☆65Updated 6 years ago
• qfpl / sv
  Comma (and other) separated values
  ☆78Updated last year
• lorepub / moot
  Moot is a CFP and event management system!
  ☆66Updated 6 years ago
• haskell-at-work / domain-modelling-with-haskell
  ☆38Updated 7 years ago
• bobatkey / CS316-19
  The 2019/2020 edition of Strathclyde's CS316 Functional Programming course
  ☆41Updated 4 years ago
• syocy / a-tour-of-go-in-haskell
  Write "Concurrency" section of "A Tour of Go" in Haskell
  ☆130Updated 6 years ago
• Chouffe / haskell-bazaar
  Explore haskell and functional programming concepts
  ☆20Updated 6 years ago
• haskellweekly / haskellweekly.github.io
  A free weekly newsletter about the Haskell programming language.
  ☆89Updated 5 years ago
• transient-haskell / axiom
  Client-side and server-side web framework over Transient and GHCJS (Haskell to JavaScript compiler)
  ☆68Updated 4 years ago
• stepchowfun / effects
  A brief exploration of the various approaches to modeling side effects in a purely functional programming language.
  ☆99Updated 3 years ago
• sharkdp / purescript-sparkle
  Infer user interfaces from type signatures
  ☆77Updated 7 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
• picnoir / ex-hack
  Example-based Haskell Documentation Engine
  ☆59Updated 5 years ago
• haskell-haskey / haskey
  Transactional key-value store written entirely in Haskell
  ☆93Updated 4 years ago
• eskimor / servant-purescript
  Translate servant API to purescript code, with the help of purescript-bridge.
  ☆108Updated 2 years ago
• haskell-checkers / checkers
  Check properties on standard classes and data structures
  ☆79Updated last year
• Eventuria / demonstration-gsd
  GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell
  ☆52Updated 5 years ago
• chicagohaskell / servant-presentation
  Slides + TodoApp for Chicago Haskell Servant Presentation
  ☆47Updated 9 years ago
• mstksg / inCode
  Source for personal blog.
  ☆77Updated 2 months ago
• bitemyapp / papers
  ☆35Updated 6 years ago
• nikita-volkov / domain
  Focused domain model declaration toolkit for Haskell
  ☆47Updated last year