Free monads from scratch is a talk about Free monads, their motivation, their use cases for "real-world applications", and their implementation. It is mostly based on Wouter Swierstra's paper, Data Types à la carte.
☆11Sep 11, 2020Updated 6 years ago
Alternatives and similar repositories for free-monads-from-scratch
Users that are interested in free-monads-from-scratch are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Hexagonal and beyod in kotlin experimentation☆11Jun 15, 2020Updated 6 years ago
- Makes union types work with for-comprehensions (like scala.Either, but without the allocation cost).☆16Oct 19, 2021Updated 4 years ago
- Typesafe, loggable, and DRY calculations for the less monadically inclined.☆13Nov 4, 2021Updated 4 years ago
- Checks that Haskell files are linted with HLint.☆12Aug 28, 2022Updated 4 years ago
- For anyone who's struggling to put an http4s server together with ZIO☆20Mar 25, 2022Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A Kotlin multi-platform library providing some functional programming idioms and user defined effects.☆15Jan 5, 2024Updated 2 years ago
- Type-safe implementation of Tensor Data Model in Scala.☆19Jul 30, 2023Updated 3 years ago
- Custom stow implementation in Rust☆17Feb 5, 2022Updated 4 years ago
- ZIO DDD CLI☆26May 9, 2022Updated 4 years ago
- Modern HTTP mock server for your daily project based on Dhall configuration☆22Oct 16, 2020Updated 6 years ago
- All programming workshops prepared by me.☆10Updated this week
- Contains realisations of common-used math functions and classical algorithms, written in Scala's pure-functional style.☆15Mar 9, 2019Updated 7 years ago
- Notes (and implementation) of unification with binders☆17Feb 10, 2026Updated 8 months ago
- Irmin website☆12Feb 26, 2026Updated 7 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- The Rocq Prover Website☆15Sep 2, 2026Updated last month
- Our slides for meetups and conferences☆16Feb 8, 2021Updated 5 years ago
- A library to render HTML string into Halogen views☆23Aug 16, 2022Updated 4 years ago
- Sample code for my blog series about Caliban☆18Sep 28, 2023Updated 3 years ago
- a mirage kernel using esy☆18Jan 20, 2021Updated 5 years ago
- Experiments with Realizability in Univalent Type Theory☆20Oct 21, 2024Updated last year
- A discrete, colored Petri Net DSL and executor☆18Aug 9, 2022Updated 4 years ago
- Convert stack projects to cabal.project + cabal.project.freeze☆26May 14, 2026Updated 5 months ago
- An implementation of the SWIM gossip protocol in Rust using tokio-rs.☆14Mar 13, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆14Jun 21, 2026Updated 3 months ago
- A tiny lazy objective functional language☆21Sep 12, 2024Updated 2 years ago
- A project which aim to help engineers to make proves easily☆14Mar 3, 2022Updated 4 years ago
- Extensible exceptions for servant☆23Jan 25, 2021Updated 5 years ago
- Unit test framework compatible with js_of_ocaml☆17Jul 3, 2021Updated 5 years ago
- ☆10Jun 14, 2020Updated 6 years ago
- Experiments with composable lock-free concurrency☆25Sep 21, 2026Updated 3 weeks ago
- Open-source reference Smart-contracts library for the Tezos Ecosystem, written in CamelLIGO and JSLigo☆11Aug 22, 2023Updated 3 years ago
- ☆10Jun 11, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Broadcast Kafka messages using web sockets, ZIO playground☆10Nov 13, 2023Updated 2 years ago
- ☆16Nov 6, 2021Updated 4 years ago
- Dockerfile - Codis☆10May 9, 2021Updated 5 years ago
- Facebook like content placeholder for react☆13May 13, 2018Updated 8 years ago
- YOCaml is a static site generator, mostly written in OCaml☆182Aug 21, 2026Updated last month
- Defunctionalised higher-kinded polymorphism in OCaml.☆20Oct 13, 2020Updated 6 years ago
- An implementation of Conway's Game of Life in Swift, using Bow and SwiftUI☆18Jul 1, 2025Updated last year