Alternatives and similar repositories for category-theory-for-programmers

Users that are interested in category-theory-for-programmers are comparing it to the libraries listed below

• lambda-io / manifest
  The Lambda I/O Foundation Manifest.
  ☆57Updated 8 years ago
• eeue56 / haskell-to-elm
  ☆66Updated 8 years ago
• robotlolita / emoj
  Emoj is a modern, concatenative language for the browser. (april's fool project)
  ☆19Updated 6 years ago
• coproduto / unthrow
  Wrap promises, never use .catch again
  ☆25Updated 2 years ago
• robotlolita / furipota
  (unmaintained) A discrete FRP DSL for describing better build pipelines.
  ☆22Updated 8 years ago
• luizperes / cantor
  A declarative toy language inspired on set comprehensions.
  ☆18Updated 6 years ago
• haskellcamargo / papers-to-read
  My curated list of papers I need to read (or already did), mostly about PLT
  ☆56Updated 6 years ago
• evaporei / hisp
  🌵 A lisp REPL interpreter made in Haskell
  ☆24Updated 5 years ago
• gabriela-sartori / SokobanElm
  Remake of the classical game Sokoban in Elm
  ☆11Updated 8 years ago
• mietek / totally-fp
  Totally functional programming literature
  ☆60Updated 6 years ago
• robotlolita / effects
  (experiment) Composable effects with one-shot continuations for JavaScript!
  ☆18Updated 6 years ago
• lambda-study-group / hacker-rank
  Functional Path do hacker Rank
  ☆52Updated 2 years ago
• VerbalExpressions / HaskellVerbalExpressions
  ☆63Updated 6 years ago
• i-am-tom / learn-me-a-haskell
  Trying to get back all the stuff I had in JavaScript.
  ☆69Updated 6 years ago
• takanuva / cps
  A formalization of continuation-passing style calculi in Coq [WIP]
  ☆37Updated last week
• fantasyland / fantasy-tuples
  Tuple data structures.
  ☆15Updated 8 years ago
• anabastos / batatascript
  🍟🥔🥣 JS compiler that turns javascript into javascript code!
  ☆35Updated 5 years ago
• VictorTaelin / formality-agda-lib-legacy
  Agda libraries relevant to Moonad
  ☆14Updated 6 years ago
• ad-si / awesome-fp-jobs
  A curated list of awesome functional programming jobs.
  ☆74Updated 2 months ago
• github-aux / linguist-unknown
  Language Savant for unknown, lost or new programming languages. Use it if your repo's language is not included on GitHub Linguist
  ☆52Updated 7 years ago
• bodil / purescript-is-magic
  An educational game with ponies
  ☆117Updated 8 years ago
• VictorTaelin / articles
  Thoughts and stuff
  ☆70Updated 5 years ago
• haskellweekly / haskellweekly.github.io
  A free weekly newsletter about the Haskell programming language.
  ☆89Updated 5 years ago
• soupi / hablog
  A simple blogging platform with Haskell and Scotty
  ☆39Updated 3 years ago
• anabastos / lang-brackets
  🥊Choose your favorite programming languages
  ☆22Updated 7 years ago
• fluture-js / fluture-retry
  Toolset for retrying potentially failing computations
  ☆15Updated 4 years ago
• simonmichael / haskell-atom-setup
  How to set up and use the Atom IDE for Haskell development in 2016. 2020: Obsolete, use VS Code instead.
  ☆83Updated 4 years ago
• tonymorris / fp-projects
  A description of Functional Programming projects
  ☆21Updated 8 years ago
• doolse / purescript-reactnative
  React Native bindings for purescript
  ☆117Updated 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