rnhmjoj / category-theory-for-programmersLinks
E-book version of Bartosz Milewski's blog post series
☆63Updated 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:
- Simple architectures for type-safe state management in React inspired by Elm, Thermite and Halogen☆34Updated 8 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
- Wrap promises, never use .catch again☆25Updated 2 years ago
- ☆67Updated 8 years ago
- A free weekly newsletter about the Haskell programming language.☆89Updated 5 years ago
- An introduction to common PureScript operators through the only truly universal language.☆49Updated 6 years ago
- Pux time-travelling devtool.☆42Updated 8 years ago
- A declarative toy language inspired on set comprehensions.☆18Updated 6 years ago
- ☆159Updated 3 years ago
- Environmentally friendly environment variables☆151Updated 5 months ago
- A simple blogging platform with Haskell and Scotty☆39Updated 3 years ago
- React Native bindings for purescript☆117Updated 3 years ago
- Remake of the classical game Sokoban in Elm☆11Updated 8 years ago
- Show Haskell type annotations when doing code review on Github☆142Updated 4 years ago
- Turn non-concurrent FantasyLand Applicatives concurrent☆24Updated 5 years ago
- A workspace for research teams☆105Updated 5 years ago
- A React development abstraction in LiveScript without jsx☆20Updated 9 years ago
- Refactor Haskell source files☆154Updated 4 months ago
- A small, "full-stack" Purescript "video tracker" for me to track what shows I've watched locally☆72Updated 5 years ago
- Importi.fy — it's like Uber, but for Haskell modules.☆103Updated 6 years ago
- haskell-lang.org website☆146Updated 6 years ago
- Totally functional programming literature☆60Updated 6 years ago
- The Purr programming language — a small, portable functional language for writing highly concurrent web servers.☆103Updated 9 years ago
- My curated list of papers I need to read (or already did), mostly about PLT☆55Updated 6 years ago
- An interactive programming platform. (see https://github.com/origamitower/purr for the most recent version of this)☆50Updated 6 years ago
- An attempt to catalog RowList/RowToList/row type content and memes☆44Updated 6 years ago
- Translate servant API to purescript code, with the help of purescript-bridge.☆108Updated 2 years ago
- ☆60Updated 2 years ago
- A data-type like Either but with an accumulating Applicative☆100Updated last year