Notes of various papers regaridng free monads and extensible effects
☆20Oct 10, 2019Updated 6 years ago
Alternatives and similar repositories for study-for-free
Users that are interested in study-for-free are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Haskell + Nix project setup Cookiecutter template☆11Feb 19, 2021Updated 5 years ago
- Async tutorial (my HaskellerZ 2020 talk)☆13Apr 30, 2020Updated 5 years ago
- the dynabook but for haskell☆23Sep 23, 2019Updated 6 years ago
- Haskell Profunctor Optics experiments☆15Sep 23, 2021Updated 4 years ago
- checkers for algebra driven design☆34Nov 19, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Zettelkasten file processor☆12Oct 7, 2020Updated 5 years ago
- ☆31Mar 5, 2022Updated 4 years ago
- Sources for a workshop given at Monadic Party 2019 on PureScript and how to use types and FFI to solve real world problems.☆23Jul 8, 2019Updated 6 years ago
- Funny little Haskell impl☆18Oct 28, 2020Updated 5 years ago
- Add support for PureScript components to Gatsby☆12Mar 4, 2023Updated 3 years ago
- Helpers which allow safe partial pattern matching in lambdas☆31Oct 21, 2020Updated 5 years ago
- Messing around with delimited continuations, fibers, and algebraic effects☆16Oct 2, 2021Updated 4 years ago
- Modeling AWS application load balancers using Alloy☆13Dec 27, 2021Updated 4 years ago
- GraphQL Schema generation in Haskell☆17Mar 27, 2020Updated 5 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A simple library for defining ADTs☆15Oct 10, 2023Updated 2 years ago
- Extensible sums and products for Haskell☆19Feb 25, 2026Updated last month
- Quick explanation of eliminating left recursion in Haskell parsers☆57Sep 13, 2021Updated 4 years ago
- FP Complete's Haskell Homepage☆14Mar 17, 2020Updated 6 years ago
- Notes on Functional Programming and related topics☆30Jun 9, 2022Updated 3 years ago
- About me☆16Nov 1, 2024Updated last year
- Derive instances through isomorphisms☆20Jun 7, 2024Updated last year
- Fork of react-basic-starter using Package sets☆24May 22, 2019Updated 6 years ago
- ☆21Nov 3, 2024Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 🍰🍴Template project based on the cake-slayer architecture library☆19Jan 11, 2023Updated 3 years ago
- Principled functional programming for JS☆17Dec 3, 2022Updated 3 years ago
- Safe, programmable, speculative evaluation for Haskell☆29Oct 22, 2018Updated 7 years ago
- Projects and exercises that I've done in my Software Engineering course at University of Minho☆22Oct 20, 2023Updated 2 years ago
- ☆20Nov 26, 2024Updated last year
- A talk☆29Apr 14, 2021Updated 4 years ago
- A tool for OpenTelemetry tracing on the command line☆22Mar 8, 2025Updated last year
- Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski☆26Jan 4, 2023Updated 3 years ago
- Playing with Haskell effect systems☆13Dec 24, 2019Updated 6 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Selective Functors & Probabilistic Programming☆22Jun 17, 2021Updated 4 years ago
- 🐚 Out of the shell solution for scripting in Haskell☆74Jan 5, 2026Updated 2 months ago
- LambdaConf 2018 workshop on building Telegram bots in Haskell.☆24Sep 15, 2019Updated 6 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆66Oct 31, 2021Updated 4 years ago
- Your AI-powered SWE teammate, built into your git workflow☆19Updated this week
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Aug 16, 2020Updated 5 years ago
- Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics☆28Feb 16, 2022Updated 4 years ago