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:
- 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
- Types and kinds for basic type-level programming☆65Sep 28, 2024Updated last year
- ☆24Nov 29, 2016Updated 9 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Jun 25, 2022Updated 3 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Nov 3, 2021Updated 4 years ago
- The missing tutorial module for the lens library☆83May 11, 2024Updated last year
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆83Jan 10, 2026Updated last month
- IO without any PseudoExceptions☆28May 13, 2020Updated 5 years ago
- Yet another concurrent playground☆33Nov 18, 2015Updated 10 years ago
- ☆10Feb 18, 2016Updated 10 years ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 9 years ago
- A hack to find types in Haskell codebases☆10Aug 15, 2015Updated 10 years ago
- ☆10Mar 15, 2019Updated 6 years ago
- A typeclass and set of functions for working with newtypes.☆10May 19, 2022Updated 3 years ago
- An API that wraps webgl and opengl☆11Oct 22, 2017Updated 8 years ago
- Allow GHCJS projects to compile under GHC and develop using intero☆10Aug 27, 2022Updated 3 years ago
- Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.☆25Jun 16, 2017Updated 8 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 fast globally unique variable supply with a pure API☆19Jun 26, 2023Updated 2 years ago
- Safe, checked exceptions☆13Sep 30, 2018Updated 7 years ago
- Command interpreter using Continuation monad and variants☆12Dec 7, 2019Updated 6 years ago
- sbt plugin for scalaprops. provides tab completion, scala-native support☆12Updated this week
- Haskell bindings to liblzma☆18Dec 27, 2024Updated last year
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago
- Source Layouting Engine☆11Mar 7, 2021Updated 4 years ago
- A monad transformer library for Haskell☆29Sep 2, 2024Updated last year
- Text-based interactive GHC .prof viewer☆48Jun 19, 2023Updated 2 years ago
- Hash consing for arbitrary Haskell data types☆25Dec 4, 2024Updated last year
- Succinct vectors☆20Dec 29, 2018Updated 7 years ago
- An implementation of "Freer Monads, More Extensible Effects".☆64Jul 8, 2018Updated 7 years ago
- Play JSON Reads/Writes instances for refined types☆24Updated this week
- A slack bot that will fetch type signatures via Hoogle☆21May 11, 2016Updated 9 years ago
- keyed functors☆23Jan 10, 2026Updated last month
- Backports of GHC deriving extensions☆13Jan 8, 2026Updated last month
- Parsing for the pipes ecosystem☆29Apr 8, 2023Updated 2 years ago
- Backpack examples repository☆14Aug 18, 2017Updated 8 years ago
- A huge number library for Purescript with emphasis on correctness.☆12Apr 27, 2022Updated 3 years ago