Deriving via
☆33Aug 6, 2018Updated 7 years ago
Alternatives and similar repositories for deriving-via
Users that are interested in deriving-via are comparing it to the libraries listed below
Sorting:
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago
- Demonstration for how to build "traverse" using GHC.Generics efficiently☆22Oct 11, 2018Updated 7 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Sep 16, 2017Updated 8 years ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Dec 13, 2018Updated 7 years ago
- Easy bidirectional serialization in Haskell☆49Dec 12, 2018Updated 7 years ago
- Library and tool for parsing .eventlog files from GHC☆37Feb 18, 2026Updated 2 weeks ago
- An example of dynamically loading a Haskell source module☆18May 9, 2018Updated 7 years ago
- Edison: A Library of Efficient Data Structures☆57Jan 16, 2026Updated last month
- [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell☆21Aug 23, 2021Updated 4 years ago
- My master thesis about generic programming and ornaments☆16Jul 5, 2016Updated 9 years ago
- A monad, perhaps.☆32Feb 10, 2020Updated 6 years ago
- Delete half (minus ε) of your Haskell code!☆30Feb 13, 2026Updated 2 weeks ago
- Dive into GHC☆82Dec 26, 2016Updated 9 years ago
- ☆24Jan 23, 2017Updated 9 years ago
- Example usage of the Haskell C FFI with hsc2hs☆12Dec 14, 2024Updated last year
- Manage Nix Haskell override sets☆11Sep 30, 2018Updated 7 years ago
- ☆10Updated this week
- A Haskell library making it easier to write Alex lexers.☆12Sep 15, 2025Updated 5 months ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 5 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago
- Template repo for theorem proving in Liquid Haskell☆32Sep 19, 2018Updated 7 years ago
- Modern compiler implementation in ML, in Haskell☆16Apr 4, 2018Updated 7 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Sep 23, 2016Updated 9 years ago
- An alternate definition of Haskell's Functor typeclass☆42Jun 18, 2019Updated 6 years ago
- Folds for recursive types with GHC Generics☆28Aug 9, 2025Updated 6 months ago
- convert simple cryptol expressions into finite-state machines☆22Sep 15, 2017Updated 8 years ago
- A reimplementation of `Data.IntMap` that uses minimum and maximum bounds on subtrees instread of bit prefixes.☆21Nov 26, 2023Updated 2 years ago
- Type-level lenses using singletons because why not☆15Dec 19, 2018Updated 7 years ago
- Experiments with effect systems☆12Apr 18, 2016Updated 9 years ago
- being the materials from my YOW LambdaJam 2016 talk☆11Jun 11, 2016Updated 9 years ago
- ☆54Nov 30, 2018Updated 7 years ago
- ☆23Apr 17, 2018Updated 7 years ago
- Measuring CPU instructions in Haskell using Linux Performance Counters☆83Jun 9, 2018Updated 7 years ago
- A command-line tool for live monitoring☆25Feb 21, 2026Updated last week
- A toy implementation of Haxl to illustrate the internals☆22Jun 29, 2017Updated 8 years ago
- Typesafe Off-Heap data structures for GHC Haskell☆14Nov 10, 2017Updated 8 years ago
- ↔️ tight ghci integration for vim☆17Oct 21, 2022Updated 3 years ago
- Syntactic evaluation of STLC (incl. proof of normalization a la Software Foundations)☆13Nov 19, 2017Updated 8 years ago
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago