Do-notation and Monads for JavaScript
☆27Feb 23, 2022Updated 4 years ago
Alternatives and similar repositories for monadic
Users that are interested in monadic are comparing it to the libraries listed below
Sorting:
- ☆14May 30, 2017Updated 8 years ago
- Free monad☆26Jan 20, 2016Updated 10 years ago
- Practical monad transformers for JS.☆26Dec 27, 2016Updated 9 years ago
- A boilerplate for publishing books as Jekyll blogs☆18Nov 30, 2025Updated 3 months ago
- Do-notation for javascript fantasy land☆64Jan 18, 2014Updated 12 years ago
- A matrix library for javascript supporting standard functional methods.☆10Dec 26, 2014Updated 11 years ago
- Small Scheme interpreter and compiler☆14Feb 15, 2016Updated 10 years ago
- Python client for Solid☆29Jun 5, 2020Updated 5 years ago
- immutable data structures for Ruby☆31Nov 24, 2025Updated 3 months ago
- 阿里云OSS的Clojure SDK封装☆10Mar 28, 2020Updated 5 years ago
- being some thoughts about introductory mathematics for computer science☆17Aug 26, 2025Updated 6 months ago
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 5 years ago
- Open-source lib for Event Sourcing in Node.js☆23Feb 11, 2022Updated 4 years ago
- ☆13Aug 6, 2017Updated 8 years ago
- Verified left pad☆19Apr 14, 2018Updated 7 years ago
- a static html and gemini mail archive for the 21st century, written in Rust☆28Aug 15, 2024Updated last year
- Dependently typed Algorithm M and friends☆26Jun 2, 2018Updated 7 years ago
- type-system, revised unification algorithm and runtime time representations☆13Dec 12, 2019Updated 6 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- Emoj is a modern, concatenative language for the browser. (april's fool project)☆20Mar 19, 2019Updated 7 years ago
- ☆10Aug 13, 2019Updated 6 years ago
- A Clojure api for the the Spark project (a fast, open source cluster computing system).☆63May 17, 2013Updated 12 years ago
- Build a simple Halogen app using Nix☆25Jan 5, 2023Updated 3 years ago
- 👜 A callbag listenable source that sends incremental numbers every x milliseconds.☆16Apr 20, 2023Updated 2 years ago
- ☆13Mar 17, 2012Updated 14 years ago
- Relational algebra implementation in Agda with simple bindings to SQLITE☆13Oct 9, 2023Updated 2 years ago
- Almost-extensible effects for Elixir.☆27Aug 9, 2016Updated 9 years ago
- Babel plugin for inlining references to package.json values☆10Jan 29, 2017Updated 9 years ago
- being a thing I build on a Saturday☆28Mar 5, 2018Updated 8 years ago
- Type-Theory in Sequent Calculus☆14Jul 30, 2015Updated 10 years ago
- Ciao is an easy-to-use Common Lisp OAuth 2.0 client library. It is a port of the Racket OAuth 2.0 Client (package: webapi) to Common Lisp…☆27Apr 3, 2024Updated last year
- 👜 Callbag listener sink that receives data from any listenable source☆14Feb 6, 2018Updated 8 years ago
- An implementation of structural subtyping of records and functions☆13Jul 14, 2018Updated 7 years ago
- CouchDB like salt and password generation with PBKDF2☆12Oct 26, 2017Updated 8 years ago
- Use koa or express on lambda!☆11Nov 10, 2016Updated 9 years ago
- array.map without parallelism; like async.mapSeries but for promises☆12Mar 25, 2022Updated 3 years ago
- ☆10Aug 14, 2015Updated 10 years ago
- Incubator for my Haskell libraries☆20Feb 10, 2018Updated 8 years ago
- write a little simply typed functional language to practice Rust☆15Jul 22, 2023Updated 2 years ago