trello / category-theory

Related projects: ⓘ

• passy / giphy-api
  Giphy HTTP API Wrapper for Haskell
  ☆27Updated 4 years ago
• origamitower / refinable
  Better primitives for prototype-based OO
  ☆11Updated 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 8 years ago
• fluture-js / concurrify
  Turn non-concurrent FantasyLand Applicatives concurrent
  ☆24Updated 4 years ago
• alexmingoia / fpforhumans
  ☆10Updated this week
• reasonml / RebelExampleProject
  ☆21Updated this week
• passy / cows-hs
  ASCII 🐮s
  ☆12Updated 5 years ago
• purr-platform / purr0
  The Purr programming language — a small, portable functional language for writing highly concurrent web servers.
  ☆105Updated 8 years ago
• coffeemug / change
  ☆13Updated this week
• natefaubion / lambda-chop
  Sweet.js macros for lambdas with currying, bound functions, and placeholders.
  ☆83Updated 10 years ago
• fantasyland / fantasy-monoids
  A collection of monoids
  ☆29Updated 7 years ago
• haskellcamargo / rawrlang
  A language that compiles to PHP.
  ☆9Updated 9 years ago
• robotlolita / furipota
  (unmaintained) A discrete FRP DSL for describing better build pipelines.
  ☆22Updated 7 years ago
• disnet / sweet-interfaces
  An implementation of emcascript interfaces in Sweet.js.
  ☆33Updated 6 years ago
• Risto-Stevcev / lazy-either
  A lazy implementation of the Fantasy Land Either type
  ☆15Updated 7 years ago
• fantasyland / fantasy-tuples
  Tuple data structures.
  ☆15Updated 7 years ago
• folktale / control.monads
  Migrating to https://github.com/origamitower/folktale
  ☆20Updated 8 years ago
• ruse-lang / stress-free-manifesto
  Proclaim and encourage a stress-free environment in your open source project.
  ☆12Updated 8 years ago
• mietek / totally-fp
  Totally functional programming literature
  ☆59Updated 5 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
• leebyron / mocha-check
  Generative property testing for Mocha
  ☆17Updated 7 years ago
• rfw / sloth.js
  ☆26Updated this week
• passy / attic-schedule
  A Turtle script I use to kick off attic
  ☆11Updated 7 years ago
• talex5 / irmin-js
  Javascript bindings for Irmin
  ☆31Updated 8 years ago
• sorellabs / claire
  [Unmaintained: please use jsverify instead] A property-based testing library for clearly specifying code invariants and behaviour.
  ☆79Updated 10 years ago
• passy / elm-pokemon
  ☆27Updated 8 years ago
• fantasyland / fantasy-lenses
  Composable, immutable getters and setters.
  ☆108Updated 8 years ago
• jdan / ocaml-web-framework
  An HTTP server and framework written from scratch in OCaml
  ☆25Updated 3 years ago
• puffnfresh / brushtail
  JS AST rewriter for tail call elimination
  ☆133Updated 11 years ago