Alternatives and similar repositories for category-theory

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

• purr-platform / purr0
  The Purr programming language — a small, portable functional language for writing highly concurrent web servers.
  ☆103Updated 9 years ago
• sorellabs / refinable
  Better primitives for prototype-based OO
  ☆11Updated 9 years ago
• mietek / totally-fp
  Totally functional programming literature
  ☆60Updated 6 years ago
• bodil / pink
  A presentation tool.
  ☆32Updated 7 years ago
• fluture-js / concurrify
  Turn non-concurrent FantasyLand Applicatives concurrent
  ☆24Updated 5 years ago
• robotlolita / furipota
  (unmaintained) A discrete FRP DSL for describing better build pipelines.
  ☆22Updated 7 years ago
• tonymorris / fp-projects
  A description of Functional Programming projects
  ☆21Updated 8 years ago
• 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
• chrisuehlinger / LambdaBubblePop
  ☆49Updated 8 years ago
• purr-platform / purr1
  An interactive programming platform. (see https://github.com/origamitower/purr for the most recent version of this)
  ☆50Updated 6 years ago
• NickHeiner / lambdascript
  A simple exploration of how to make your own programming language
  ☆9Updated 9 years ago
• passy / giphy-api
  Giphy HTTP API Wrapper for Haskell
  ☆27Updated 5 years ago
• atom-haskell / language-haskell
  Haskell language support for Atom
  ☆72Updated 3 years ago
• VerbalExpressions / HaskellVerbalExpressions
  ☆63Updated 6 years ago
• fantasyland / fantasy-tuples
  Tuple data structures.
  ☆15Updated 8 years ago
• rescript-lang / bucklescript-addons
  Addons modules for the BuckleScript OCaml->Javascript translator
  ☆38Updated 7 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
• conal / talk-2014-bayhac-denotational-design
  Denotational Design: from programs to meanings
  ☆98Updated 9 years ago
• brownplt / LambdaJS
  Semantics and tools for JavaScript
  ☆91Updated 3 years ago
• disnet / contracts.js
  Contract library for JavaScript
  ☆147Updated 9 years ago
• sorellabs / claire
  [Unmaintained: please use jsverify instead] A property-based testing library for clearly specifying code invariants and behaviour.
  ☆78Updated 11 years ago
• janestreet / jenga
  Build system
  ☆90Updated 6 years ago
• laser / cis-194-winter-2016
  A modified version of Brent Yorgey's CIS 194 Haskell course
  ☆17Updated 5 years ago
• flipstone / haskell-for-beginners
  Environment and problem sets for Haskell For Beginners class
  ☆24Updated 8 years ago
• AlexeyRaga / purescript-react-electron-example
  ☆51Updated 9 years ago
• paf31 / purescript-rest
  A toolkit for creating REST services with Node and PureScript
  ☆32Updated 8 years ago
• mjambon / atdgen
  Now part of the atd repo
  ☆44Updated 8 years ago
• staltz / jace
  just another compiler experiment
  ☆14Updated 8 years ago
• mietek / total-fp
  Total functional programming (ESFP) literature
  ☆187Updated 6 years ago
• coeffects / coeffects-playground
  Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.
  ☆60Updated 8 years ago