Code accompanying the paper Reflection without Remorse:Revealing a hidden sequence to speed up monadic reflection
☆66Oct 4, 2021Updated 4 years ago
Alternatives and similar repositories for reflectionwithoutremorse
Users that are interested in reflectionwithoutremorse 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: Efficiently build a bytestring from smaller chunks☆24Jun 25, 2022Updated 3 years ago
- Types and kinds for basic type-level programming☆65Sep 28, 2024Updated last year
- Various type-aligned sequence data structures.☆21Aug 15, 2021Updated 4 years ago
- Haskell Library to Parse MS Excel (.xls format)☆16Sep 12, 2024Updated last year
- ☆25Nov 29, 2016Updated 9 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.
- Backpack examples repository☆14Aug 18, 2017Updated 8 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago
- ☆10Mar 15, 2019Updated 7 years ago
- A hack to find types in Haskell codebases☆10Aug 15, 2015Updated 10 years ago
- An API that wraps webgl and opengl☆11Oct 22, 2017Updated 8 years ago
- Succinct vectors☆20Dec 29, 2018Updated 7 years ago
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆83Jan 10, 2026Updated 3 months ago
- ☆10Feb 18, 2016Updated 10 years ago
- sbt plugin for scalaprops. provides tab completion, scala-native support☆12Apr 19, 2026Updated last week
- 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.
- The missing tutorial module for the lens library☆84May 11, 2024Updated last year
- Yet another concurrent playground☆33Nov 18, 2015Updated 10 years ago
- Text-based interactive GHC .prof viewer☆49Jun 19, 2023Updated 2 years ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 10 years ago
- Rust-style strict Maybe in Haskell: no space/indirection overhead.☆18Jan 15, 2024Updated 2 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Nov 3, 2021Updated 4 years ago
- Source Layouting Engine☆11Mar 7, 2021Updated 5 years ago
- A huge number library for Purescript with emphasis on correctness.☆12Apr 27, 2022Updated 4 years ago
- IO without any PseudoExceptions☆28May 13, 2020Updated 5 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.
- Play JSON Reads/Writes instances for refined types☆24Apr 19, 2026Updated last week
- Fine-grained lattice primitives for Haskell☆39Apr 16, 2026Updated 2 weeks ago
- Manage Nix Haskell override sets☆11Sep 30, 2018Updated 7 years ago
- Haskell bindings to liblzma☆18Dec 27, 2024Updated last year
- A fast globally unique variable supply with a pure API☆19Jun 26, 2023Updated 2 years ago
- Interop between fs2 and scalaz☆14Feb 9, 2018Updated 8 years ago
- Benchmarks for numbers: ints, doubles, bignums, rationals, etc.☆20May 11, 2017Updated 8 years ago
- Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)☆161Mar 23, 2021Updated 5 years ago
- Allow GHCJS projects to compile under GHC and develop using intero☆10Aug 27, 2022Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A tool for formally verifying Haskell code in Agda☆28Oct 25, 2016Updated 9 years ago
- FoldMap lists☆12Mar 29, 2023Updated 3 years ago
- A slack bot that will fetch type signatures via Hoogle☆21May 11, 2016Updated 9 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 8 years ago
- ☆15Mar 17, 2016Updated 10 years ago
- TeX files for summary of category theory☆15Apr 9, 2016Updated 10 years ago
- Command interpreter using Continuation monad and variants☆12Dec 7, 2019Updated 6 years ago