A playground for working on advanced data structures in Haskell
☆64Aug 31, 2015Updated 10 years ago
Alternatives and similar repositories for structures
Users that are interested in structures are comparing it to the libraries listed below
Sorting:
- Concurrent and efficient implementation of statsd in Haskell☆19Feb 12, 2014Updated 12 years ago
- Quick start for the vagrant box I use for ghcjs / react-haskell / pigment development☆11Jun 26, 2015Updated 10 years ago
- GHCJS runtime system and JavaScript support code for packages - deprecated as of GHC 8.2☆20Jun 10, 2019Updated 6 years ago
- keyed functors☆23Jan 10, 2026Updated last month
- 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
- Tagged Haskell learning resources index☆21Aug 11, 2016Updated 9 years ago
- Expands type synonyms in Template Haskell ASTs☆11Jan 10, 2026Updated last month
- Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.☆16May 13, 2025Updated 9 months ago
- A Haskell library making it easier to write Alex lexers.☆12Sep 15, 2025Updated 5 months ago
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆14Aug 29, 2025Updated 6 months ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆33Sep 4, 2022Updated 3 years ago
- CLI tool for Hackage☆27Sep 1, 2025Updated 6 months ago
- Experiments with effect systems☆12Apr 18, 2016Updated 9 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆21Jun 3, 2022Updated 3 years ago
- playground for working with succinct data structures☆97Oct 24, 2015Updated 10 years ago
- Deep evaluation of data structures without NFData☆10Jan 20, 2015Updated 11 years ago
- ☆33Mar 19, 2015Updated 10 years ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Dec 13, 2018Updated 7 years ago
- Automatic generation of haskell functions for querying servant webservices ... in GHCJS!☆13May 15, 2018Updated 7 years ago
- ABANDONED☆49Aug 30, 2016Updated 9 years ago
- Abstactions and concrete implementations of mutable containers☆13Jul 4, 2016Updated 9 years ago
- Proof checker for propositional logic☆16Jul 7, 2017Updated 8 years ago
- Accepted papers for ICFP 2014☆119May 19, 2016Updated 9 years ago
- Type-safe library for generating haskell source code☆28Jan 28, 2018Updated 8 years ago
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 10 years ago
- ☆90Dec 6, 2015Updated 10 years ago
- Example projects using the auto library.☆20May 16, 2015Updated 10 years ago
- Semantics for Cryptol☆16Apr 9, 2018Updated 7 years ago
- ☆15May 16, 2017Updated 8 years ago
- align ghcjs with stack☆11Nov 30, 2016Updated 9 years ago
- Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff☆14Feb 13, 2018Updated 8 years ago
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Nov 1, 2024Updated last year
- being the programs and code for a paper about general recursion☆26Feb 15, 2015Updated 11 years ago
- Paris Functional Programming Meetup☆27Mar 21, 2020Updated 5 years ago
- Units of measure as a GHC typechecker plugin☆31Oct 12, 2022Updated 3 years ago
- ☆24Feb 3, 2016Updated 10 years ago
- GHC development flow☆24May 3, 2017Updated 8 years ago