trello-archive / category-theory
sometimes math is just too much fun
☆19Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for category-theory
- Standards, RFCs and discussion of the Arua language☆44Updated 8 years ago
- Better primitives for prototype-based OO☆11Updated 8 years ago
- Giphy HTTP API Wrapper for Haskell☆27Updated 4 years ago
- A language that compiles to PHP.☆9Updated 9 years ago
- A simple exploration of how to make your own programming language☆9Updated 9 years ago
- How about maybe use?☆8Updated 8 years ago
- The Purr programming language — a small, portable functional language for writing highly concurrent web servers.☆105Updated 8 years ago
- (unmaintained) A discrete FRP DSL for describing better build pipelines.☆22Updated 7 years ago
- Turn non-concurrent FantasyLand Applicatives concurrent☆24Updated 4 years ago
- Emoj is a modern, concatenative language for the browser. (april's fool project)☆19Updated 5 years ago
- Tuple data structures.☆15Updated 7 years ago
- [status: superseded by Purr] Sirën is an experimental context-based programming language with ad hoc multiple hierarchies, and multimetho…☆130Updated 7 years ago
- Monad Library for JavaScript☆54Updated 11 years ago
- A Turtle script I use to kick off attic☆11Updated 7 years ago
- An interpreter of well-formed formulas in propositional calculus.☆10Updated 9 years ago
- Sweet.js macros for lambdas with currying, bound functions, and placeholders.☆83Updated 10 years ago
- Generative property testing for Mocha☆17Updated 7 years ago
- ASCII 🐮s☆12Updated 5 years ago
- Proclaim and encourage a stress-free environment in your open source project.☆12Updated 8 years ago
- A reactive Cube to play with☆18Updated 9 years ago
- Migrating to https://github.com/origamitower/folktale☆20Updated 8 years ago
- Easy way to find good IT interview questions☆9Updated 8 years ago
- Reactive Programming with PureScript and React☆31Updated 9 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
- A collection of monoids☆29Updated 7 years ago
- ☆13Updated 7 years ago