Alternatives and similar repositories for category-theory

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

• robotlolita / siren
  [status: superseded by Purr] Sirën is an experimental context-based programming language with ad hoc multiple hierarchies, and multimetho…
  ☆128Updated 8 years ago
• robotlolita / furipota
  (unmaintained) A discrete FRP DSL for describing better build pipelines.
  ☆22Updated 8 years ago
• fluture-js / concurrify
  Turn non-concurrent FantasyLand Applicatives concurrent
  ☆24Updated 5 years ago
• robotlolita / emoj
  Emoj is a modern, concatenative language for the browser. (april's fool project)
  ☆19Updated 6 years ago
• mietek / totally-fp
  Totally functional programming literature
  ☆60Updated 6 years ago
• janestreet / jenga
  Build system
  ☆90Updated 7 years ago
• brownplt / LambdaJS
  Semantics and tools for JavaScript
  ☆92Updated 3 years ago
• tonymorris / fp-projects
  A description of Functional Programming projects
  ☆21Updated 8 years ago
• santoshrajan / monadjs
  Monad Library for JavaScript
  ☆54Updated 12 years ago
• fantasyland / fantasy-tuples
  Tuple data structures.
  ☆15Updated 8 years ago
• disnet / contracts.js
  Contract library for JavaScript
  ☆148Updated 10 years ago
• mietek / total-fp
  Total functional programming (ESFP) literature
  ☆187Updated 6 years ago
• fantasyland / fantasy-monoids
  A collection of monoids
  ☆29Updated 8 years ago
• rescript-lang / bucklescript-addons
  Addons modules for the BuckleScript OCaml->Javascript translator
  ☆38Updated 7 years ago
• fxfactorial / ocaml-electron
  Write OCaml, run on Electron.
  ☆77Updated 2 years ago
• natefaubion / adt-simple
  Algebraic data types for JavaScript using Sweet.js macros
  ☆93Updated 11 years ago
• VictorTaelin / lambda-calculus
  A simple, clean and fast implementation of the λ-calculus on JavaScript.
  ☆45Updated 5 years ago
• kritzcreek / psc-ide
  DEPRECATED - Editor Support for the PureScript programming language
  ☆61Updated 9 years ago
• fantasyland / fantasy-combinators
  Common combinators.
  ☆66Updated 9 years ago
• joelburget / haskell-loader
  A webpack loader for Haskell (!)
  ☆15Updated 10 years ago
• coeffects / coeffects-playground
  Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.
  ☆61Updated 8 years ago
• VerbalExpressions / HaskellVerbalExpressions
  ☆63Updated 7 years ago
• gspindles / Papers
  A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics
  ☆78Updated 8 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 9 years ago
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 12 years ago
• atom-haskell / language-haskell
  Haskell language support for Atom
  ☆72Updated 3 years ago
• idris-hackers / IdrisWeb
  A secure web framework, built in the Idris language.
  ☆110Updated 11 years ago
• Dandandan / parser
  Parser combinator library for Elm
  ☆36Updated 8 years ago
• alexmingoia / pux-devtool
  Pux time-travelling devtool.
  ☆42Updated 8 years ago
• jdan / ocaml-web-framework
  An HTTP server and framework written from scratch in OCaml
  ☆26Updated 4 years ago