Lens combinators for fused-effects.
☆17Oct 19, 2020Updated 5 years ago
Alternatives and similar repositories for fused-effects-lens
Users that are interested in fused-effects-lens are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Non-empty Vectors☆26Apr 18, 2026Updated 3 months ago
- Type-level lenses using singletons because why not☆15Dec 19, 2018Updated 7 years ago
- Haskell Dependency Injection☆14Sep 1, 2018Updated 7 years ago
- ☆18Updated this week
- A simple way to query constructors, like cases but slightly more concise☆11Mar 7, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- Syntaxes with Binding, Their Programs, and Proofs☆23Oct 26, 2023Updated 2 years ago
- Free categories, free arrows and free categories with monadic actions☆24Mar 4, 2025Updated last year
- Getting more out of your transformers with classy optics. Slides from my BFPG talk on 2015-06-09☆31Jun 27, 2015Updated 11 years ago
- A Pandoc filter that identifies Haskell code in Markdown, executes the code in GHCI and embeds the results in the returned Markdown.☆14Jul 11, 2019Updated 7 years ago
- Resources for "One Monad to Prove Them All"☆29Dec 31, 2018Updated 7 years ago
- ☆14Oct 4, 2021Updated 4 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- A command-line replacement for the Google Authenticator App☆25Nov 6, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A Language and its compiler on Ethereum Virtual Machine☆14Dec 17, 2018Updated 7 years ago
- Algebraic Effects in Haskell using Implicit Parameters☆47Aug 16, 2020Updated 5 years ago
- Constraint-based generics☆51Jan 6, 2026Updated 6 months ago
- Simple extensible product☆36Dec 1, 2020Updated 5 years ago
- A RWS like monad without the slow writer stuff☆12Jun 17, 2023Updated 3 years ago
- ☆50Oct 1, 2015Updated 10 years ago
- Haskell to Elm translation using Template Haskell. Contains both a library and executable.☆49Dec 27, 2017Updated 8 years ago
- Control.Lens.Action☆17Mar 12, 2023Updated 3 years ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Supporting code for the book /Lenses for the Mere Mortal: PureScript Edition/☆33Dec 11, 2022Updated 3 years ago
- language-hcl contains HCL (Hashicorp Configuration Language) parsers and pretty-printers for the Haskell programming language☆14Oct 29, 2019Updated 6 years ago
- First Class Record Fields in Haskell☆18Jun 11, 2026Updated last month
- Efficient search weighted by an ordered monoid with monus.☆19Dec 12, 2022Updated 3 years ago
- ☆10Feb 27, 2026Updated 5 months ago
- A framework for generative art.☆59Dec 1, 2020Updated 5 years ago
- See the docs and live playground here☆13Dec 10, 2022Updated 3 years ago
- Derive KnownNat constraints from other KnownNat constraints☆14Jun 19, 2026Updated last month
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- haskell lazy evaluation illustrated☆72May 3, 2017Updated 9 years ago
- tools for writing better type errors☆74Sep 15, 2023Updated 2 years ago
- Informative error messages for common beginner misunderstandings with Haskell☆15Aug 29, 2019Updated 6 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Feb 1, 2018Updated 8 years ago
- A demo of Functional Reactive Programming in Purescript☆11May 17, 2018Updated 8 years ago
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 9 years ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago