rnhmjoj / category-theory-for-programmersLinks
E-book version of Bartosz Milewski's blog post series
☆62Updated 7 years ago
Alternatives and similar repositories for category-theory-for-programmers
Users that are interested in category-theory-for-programmers are comparing it to the libraries listed below
Sorting:
- Wrap promises, never use .catch again☆25Updated 2 years ago
- A declarative toy language inspired on set comprehensions.☆18Updated 6 years ago
- Emoj is a modern, concatenative language for the browser. (april's fool project)☆19Updated 6 years ago
- The Lambda I/O Foundation Manifest.☆57Updated 8 years ago
- Repo principal do lambda study group :)☆33Updated last year
- My curated list of papers I need to read (or already did), mostly about PLT☆55Updated 6 years ago
- ☆67Updated 8 years ago
- Totally functional programming literature☆60Updated 6 years ago
- Thoughts and stuff☆69Updated 5 years ago
- (unmaintained) A discrete FRP DSL for describing better build pipelines.☆22Updated 7 years ago
- Tuple data structures.☆15Updated 8 years ago
- Content about my talks in events☆13Updated 9 years ago
- A small, "full-stack" Purescript "video tracker" for me to track what shows I've watched locally☆72Updated 5 years ago
- An interactive programming platform. (see https://github.com/origamitower/purr for the most recent version of this)☆50Updated 6 years ago
- annotations and solutions for the book Category Theory for Programmers by Bartosz Milewski☆19Updated 5 years ago
- A simple blogging platform with Haskell and Scotty☆39Updated 3 years ago
- 🌵 A lisp REPL interpreter made in Haskell☆24Updated 5 years ago
- A simple multithreaded chat server in haskell☆35Updated 5 years ago
- A React development abstraction in LiveScript without jsx☆20Updated 9 years ago
- The Purr programming language — a small, portable functional language for writing highly concurrent web servers.☆103Updated 9 years ago
- 🍟🥔🥣 JS compiler that turns javascript into javascript code!☆35Updated 5 years ago
- 🐚 Out of the shell solution for scripting in Haskell☆73Updated 8 months ago
- A free weekly newsletter about the Haskell programming language.☆89Updated 5 years ago
- Freckle guides and best practices☆55Updated 2 months ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆36Updated last week
- Pux time-travelling devtool.☆42Updated 8 years ago
- About me☆16Updated 7 months ago
- A gatekeeper for your commits☆46Updated last month
- An introduction to common PureScript operators through the only truly universal language.☆48Updated 7 years ago
- React Native bindings for purescript☆117Updated 3 years ago