nikita-volkov / compound-typesView external linksLinks
Sum and Product types and such
☆29Apr 27, 2020Updated 5 years ago
Alternatives and similar repositories for compound-types
Users that are interested in compound-types are comparing it to the libraries listed below
Sorting:
- Unpinned byte arrays in GHC haskell☆22Jan 8, 2019Updated 7 years ago
- Finitely represented /total/ maps☆17Nov 23, 2019Updated 6 years ago
- A Haskell library implementing several Paxos-related algorithms☆25Dec 13, 2012Updated 13 years ago
- A hack to find types in Haskell codebases☆10Aug 15, 2015Updated 10 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- Tools for working with derived Show instances in Haskell.☆58Jan 31, 2023Updated 3 years ago
- GHCJS FFI bindings to the Electron API (WIP).☆10May 21, 2017Updated 8 years ago
- ListT done right☆15Oct 11, 2023Updated 2 years ago
- Source Layouting Engine☆11Mar 7, 2021Updated 4 years ago
- A monadic DSL for simple configuration parsing☆27Jun 4, 2025Updated 8 months ago
- Double-ended queues☆14Feb 3, 2025Updated last year
- The Elements of Statistical Learning in Haskell☆13Nov 29, 2017Updated 8 years ago
- Wolf is a wrapper around Amazon Simple Workflow Service.☆16Nov 4, 2022Updated 3 years ago
- Parser and type analysis for the Go programming language☆12Aug 3, 2023Updated 2 years ago
- Generic representation and manipulation of abstract syntax☆27May 26, 2022Updated 3 years ago
- Semantics for Cryptol☆16Apr 9, 2018Updated 7 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Feb 1, 2018Updated 8 years ago
- HTTP cookie parsing and rendering☆20Mar 31, 2025Updated 10 months ago
- Type-safe time units in Haskell☆50Jan 22, 2025Updated last year
- ☆39Jul 25, 2024Updated last year
- Exhaustive pattern matching using lenses, traversals, and prisms☆33Sep 4, 2022Updated 3 years ago
- Measure allocations of a Haskell functions/values☆101Nov 1, 2024Updated last year
- freer monads and cofreer comonads.☆23Jun 26, 2018Updated 7 years ago
- GHCJS example code☆18Aug 15, 2016Updated 9 years ago
- Haskell implementation of an LRU cache☆25Dec 29, 2025Updated last month
- Haskell library to interface with the nix package manager☆25Nov 23, 2021Updated 4 years ago
- Case insensitive string comparison☆24May 13, 2024Updated last year
- ☆22Oct 20, 2025Updated 3 months ago
- A FUSE filesystem, written in Haskell, that allows one to mount NAR (Nix archive) files and expose them as a virtual Nix store.☆29Apr 17, 2016Updated 9 years ago
- Superseeded by https://github.com/hercules-ci/hercules☆21Jan 12, 2017Updated 9 years ago
- ☆32Jun 18, 2018Updated 7 years ago
- Constraint-based generics☆50Jan 6, 2026Updated last month
- Web front UI for interactive Haskell projects☆34May 27, 2020Updated 5 years ago
- A class for types with a default value☆44Oct 26, 2024Updated last year
- Compression and decompression in the gzip and zlib formats☆39Jan 20, 2026Updated 3 weeks ago
- convert simple cryptol expressions into finite-state machines☆22Sep 15, 2017Updated 8 years ago
- Various type-aligned sequence data structures.☆21Aug 15, 2021Updated 4 years ago
- Austin's supercompiler work☆21Nov 17, 2019Updated 6 years ago