trello-archive / category-theoryLinks
sometimes math is just too much fun
☆22Updated 10 years ago
Alternatives and similar repositories for category-theory
Users that are interested in category-theory are comparing it to the libraries listed below
Sorting:
- A simple exploration of how to make your own programming language☆9Updated 10 years ago
- Turn non-concurrent FantasyLand Applicatives concurrent☆24Updated 5 years ago
- Totally functional programming literature☆60Updated 6 years ago
- A description of Functional Programming projects☆21Updated 8 years ago
- A webpack loader for Haskell (!)☆15Updated 10 years ago
- [status: superseded by Purr] Sirën is an experimental context-based programming language with ad hoc multiple hierarchies, and multimetho…☆128Updated 8 years ago
- ☆63Updated 6 years ago
- Monad Library for JavaScript☆54Updated 12 years ago
- (unmaintained) A discrete FRP DSL for describing better build pipelines.☆22Updated 8 years ago
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Updated 10 years ago
- Pux time-travelling devtool.☆42Updated 8 years ago
- Emoj is a modern, concatenative language for the browser. (april's fool project)☆19Updated 6 years ago
- Tuple data structures.☆15Updated 8 years ago
- A simple, clean and fast implementation of the λ-calculus on JavaScript.☆45Updated 5 years ago
- RethinkDB client library for Haskell☆93Updated 8 years ago
- PureScript in the browser☆121Updated 11 months ago
- ☆49Updated 8 years ago
- Contract library for JavaScript☆147Updated 9 years ago
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Updated 6 years ago
- A toolkit for creating REST services with Node and PureScript☆32Updated 8 years ago
- Parser combinator library for Elm☆36Updated 8 years ago
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆45Updated 8 years ago
- sweet.js macros for Fantasy Land compatible structures.☆35Updated 11 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 9 years ago
- Toy web rendering engine in haskell☆34Updated 9 years ago
- Giphy HTTP API Wrapper for Haskell☆27Updated 5 years ago
- A presentation tool.☆32Updated 7 years ago
- Total functional programming (ESFP) literature☆188Updated 6 years ago
- Capybara is a language that compiles to ZPL.☆12Updated 9 years ago
- A port of the Elm Architecture Tutorial to PureScript☆56Updated 7 years ago