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 4 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
- ☆18Aug 9, 2026Updated last week
- A simple way to query constructors, like cases but slightly more concise☆11Mar 7, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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 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.
- 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 6 years ago
- Constraint-based generics☆51Jan 6, 2026Updated 7 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
- 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.
- 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 2 months ago
- 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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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