Alternatives and similar repositories for category-theory:

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

• fluture-js / concurrify
  Turn non-concurrent FantasyLand Applicatives concurrent
  ☆24Updated 4 years ago
• sorellabs / refinable
  Better primitives for prototype-based OO
  ☆11Updated 8 years ago
• mietek / totally-fp
  Totally functional programming literature
  ☆60Updated 6 years ago
• jstolarek / why-dependent-types-matter
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Updated 6 years ago
• RaoulSchaffranek / Modelling-A-Purely-Functional-Subset-Of-ECMAScript-2015
  This is my Bachelor-Thesis. I showed how to derieve a purely functional programming language from an unrestricted language by example of …
  ☆42Updated 8 years ago
• fantasyland / fantasy-tuples
  Tuple data structures.
  ☆15Updated 8 years ago
• tonymorris / fp-projects
  A description of Functional Programming projects
  ☆21Updated 7 years ago
• UU-ComputerScience / js-asteroids
  An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)
  ☆12Updated 10 years ago
• kofno / purescript-aws-lambda
  Write your AWS Lambda in PureScript!
  ☆9Updated 9 years ago
• brownplt / LambdaJS
  Semantics and tools for JavaScript
  ☆90Updated 3 years ago
• ocamllabs / ocaml-effects
  *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers
  ☆27Updated 8 years ago
• aduraj / ocaml-data-structures
  Data structure implementations (Avl tree, Red-black tree, Splay tree, Heap) for Ocaml language
  ☆18Updated 12 years ago
• purr-platform / purr0
  The Purr programming language — a small, portable functional language for writing highly concurrent web servers.
  ☆103Updated 9 years ago
• coeffects / coeffects-thesis
  The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.
  ☆26Updated 7 years ago
• fantasyland / fantasy-combinators
  Common combinators.
  ☆66Updated 9 years ago
• spire / spire
  The Spire Programming Language
  ☆59Updated 10 years ago
• joelburget / haskell-loader
  A webpack loader for Haskell (!)
  ☆15Updated 10 years ago
• NickHeiner / lambdascript
  A simple exploration of how to make your own programming language
  ☆9Updated 9 years ago
• BinRoot / Haskell-Lectures
  Introduction to Haskell, CS 1501 Lecture slides
  ☆49Updated 10 years ago
• leostera / rules_reason
  📐Reason/OCaml rules and tools for Bazel
  ☆19Updated 6 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 7 years ago
• folktale / control.monads
  Migrating to https://github.com/origamitower/folktale
  ☆20Updated 8 years ago
• zkat / protocols
  Multi-type protocol-based polymorphism
  ☆10Updated 8 years ago
• staltz / cleanjs-example
  Example of Cycle.js app passing the eslint-config-cleanjs lint
  ☆9Updated 8 years ago
• gergoerdi / universe-of-syntax
  A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…
  ☆16Updated 7 years ago
• passy / giphy-api
  Giphy HTTP API Wrapper for Haskell
  ☆27Updated 5 years ago
• robotlolita / furipota
  (unmaintained) A discrete FRP DSL for describing better build pipelines.
  ☆22Updated 7 years ago
• staltz / jace
  just another compiler experiment
  ☆14Updated 8 years ago
• ichistmeinname / free-proving
  Resources for "One Monad to Prove Them All"
  ☆29Updated 6 years ago
• diagrams / monoid-extras
  Miscellaneous constructions on monoids
  ☆18Updated last month