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
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
- 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 2 months ago
- ☆10Feb 18, 2016Updated 10 years ago
- sbt plugin for scalaprops. provides tab completion, scala-native support☆12Mar 16, 2026Updated last week
- 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 9 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
- Play JSON Reads/Writes instances for refined types☆24Mar 3, 2026Updated 2 weeks ago
- A huge number library for Purescript with emphasis on correctness.☆12Apr 27, 2022Updated 3 years ago
- IO without any PseudoExceptions☆28May 13, 2020Updated 5 years ago
- Fine-grained lattice primitives for Haskell☆38Jul 1, 2025Updated 8 months ago
- Manage Nix Haskell override sets☆11Sep 30, 2018Updated 7 years ago
- A fast globally unique variable supply with a pure API☆19Jun 26, 2023Updated 2 years ago
- Haskell bindings to liblzma☆18Dec 27, 2024Updated last year
- 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
- A tool for formally verifying Haskell code in Agda☆28Oct 25, 2016Updated 9 years ago
- FoldMap lists☆12Mar 29, 2023Updated 2 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 9 years ago
- Command interpreter using Continuation monad and variants☆12Dec 7, 2019Updated 6 years ago