trello-archive / category-theory
sometimes math is just too much fun
☆20Updated 9 years ago
Alternatives and similar repositories for category-theory:
Users that are interested in category-theory are comparing it to the libraries listed below
- Turn non-concurrent FantasyLand Applicatives concurrent☆24Updated 4 years ago
- Giphy HTTP API Wrapper for Haskell☆27Updated 4 years ago
- ☆49Updated 8 years ago
- Totally functional programming literature☆60Updated 6 years ago
- 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
- Tuple data structures.☆15Updated 8 years ago
- Introduction to Haskell, CS 1501 Lecture slides☆49Updated 10 years ago
- The Purr programming language — a small, portable functional language for writing highly concurrent web servers.☆104Updated 9 years ago
- Better primitives for prototype-based OO☆11Updated 8 years ago
- Standards, RFCs and discussion of the Arua language☆44Updated 9 years ago
- Migrating to https://github.com/origamitower/folktale☆20Updated 8 years ago
- (unmaintained) A discrete FRP DSL for describing better build pipelines.☆22Updated 7 years ago
- Write your AWS Lambda in PureScript!☆9Updated 9 years ago
- A collection of monoids☆29Updated 7 years ago
- A description of Functional Programming projects☆21Updated 7 years ago
- A simple exploration of how to make your own programming language☆9Updated 9 years ago
- Emoj is a modern, concatenative language for the browser. (april's fool project)☆19Updated 5 years ago
- Common combinators.☆66Updated 9 years ago
- Why Types Matter☆45Updated 7 years ago
- A simple UI for evaluating expressions in the untyped lambda calculus☆56Updated 2 years ago
- Semantics and tools for JavaScript☆90Updated 2 years ago
- Now part of the atd repo☆44Updated 7 years ago
- Contract library for JavaScript☆147Updated 9 years ago
- DSL for lambda calculus☆16Updated 9 years ago
- Toy web rendering engine in haskell☆34Updated 9 years ago
- Parser combinators for JS☆13Updated 9 years ago
- Build system☆90Updated 6 years ago
- PureScript compiler written in PureScript (On hold / inactive)☆61Updated 10 years ago
- A more elegant specification for FRP☆24Updated last year
- ☆14Updated 7 years ago