Haskell Profunctor Optics experiments
☆15Sep 23, 2021Updated 4 years ago
Alternatives and similar repositories for proton
Users that are interested in proton are comparing it to the libraries listed below
Sorting:
- Notes of various papers regaridng free monads and extensible effects☆20Oct 10, 2019Updated 6 years ago
- Haskell library for doing category theory with a central role for profunctors☆24Updated this week
- Add support for PureScript components to Gatsby☆12Mar 4, 2023Updated 3 years ago
- ☆10Mar 2, 2021Updated 5 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- Existential types as a library☆35Nov 16, 2022Updated 3 years ago
- A simple library for defining ADTs☆15Oct 10, 2023Updated 2 years ago
- ☆26Updated this week
- GraphQL Schema generation in Haskell☆17Mar 27, 2020Updated 5 years ago
- ☆21Nov 3, 2024Updated last year
- Low-level bindings to WebGPU☆15Aug 4, 2023Updated 2 years ago
- There are many category theory implementations, but this one is mine☆16Aug 22, 2024Updated last year
- Principled functional programming for JS☆17Dec 3, 2022Updated 3 years ago
- A tool for OpenTelemetry tracing on the command line☆22Mar 8, 2025Updated 11 months ago
- ☆20Nov 26, 2024Updated last year
- Distributors - Unifying Parsers, Printers & Grammars☆64Updated this week
- Free categories, free arrows and free categories with monadic actions☆24Mar 4, 2025Updated 11 months ago
- A formalization of Pure Type Systems (PTS) in Agda☆28Jul 3, 2025Updated 8 months ago
- Provides elm-review rules to detect unused elements in your Elm project☆25Jan 17, 2026Updated last month
- 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
- The ST effect, for safe local mutation☆25Oct 1, 2022Updated 3 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Aug 16, 2020Updated 5 years ago
- Simple helper functions to work with optparse-applicative☆29Jun 23, 2021Updated 4 years ago
- ⛏️ A refinement proof framework for haskell☆71May 8, 2023Updated 2 years ago
- Fast 🐆, type-safe vectors for Purescript☆25Jan 4, 2026Updated last month
- Helpers which allow safe partial pattern matching in lambdas☆31Oct 21, 2020Updated 5 years ago
- (NOTE: REPOSITORY MOVED TO NEW OWNER: https://github.com/lexi-lambda/monad-validate) A Haskell monad transformer library for data validat…☆33Jun 22, 2022Updated 3 years ago
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- 📊 Haskell dependencies build times profiler☆74Jan 10, 2023Updated 3 years ago
- checkers for algebra driven design☆34Nov 19, 2022Updated 3 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆33Sep 4, 2022Updated 3 years ago
- Get all your structure and rip it apart.☆33Oct 21, 2018Updated 7 years ago
- bayesPop R package☆11Feb 23, 2026Updated last week
- My personal site.☆10Feb 23, 2026Updated last week
- R package for the United Nations World Population Prospects 2024☆18Jun 24, 2025Updated 8 months ago
- Personal provisioning machines with Nix☆42Updated this week
- A monad for managed values☆51Nov 18, 2025Updated 3 months ago
- A toy dependent typed language.☆46Updated this week
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago