Exploration of the Piece Table data structure in Haskell
☆10Mar 17, 2017Updated 8 years ago
Alternatives and similar repositories for piece-table
Users that are interested in piece-table are comparing it to the libraries listed below
Sorting:
- This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.☆21Jan 31, 2022Updated 4 years ago
- Visualize fine-grained timing data from ghc verbose logs☆13Jan 12, 2022Updated 4 years ago
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 8 years ago
- An example of dynamically loading a Haskell source module☆18May 9, 2018Updated 7 years ago
- The MLPolyR programming language, revived☆25Oct 15, 2020Updated 5 years ago
- An implementation of GraphQL in Haskell.☆21Jun 17, 2017Updated 8 years ago
- Tools for functors from Hask^k to Hask☆23Aug 25, 2019Updated 6 years ago
- Asynchronous type-checking for Agda 2.6.2.☆22May 17, 2024Updated last year
- LCM Full Cycle Trainer for Ostris - Ai Toolkit☆16Aug 20, 2024Updated last year
- A hashing-based graph implementation in Haskell☆33Jul 2, 2018Updated 7 years ago
- A simple set of io-uring bindings in Haskell☆28Jul 21, 2020Updated 5 years ago
- Haskell Type Level Example Programs☆28Nov 30, 2017Updated 8 years ago
- Yet another concurrent playground☆33Nov 18, 2015Updated 10 years ago
- Database maintenance tool support☆26Mar 22, 2024Updated last year
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Sep 1, 2025Updated 6 months ago
- Delete half (minus ε) of your Haskell code!☆30Feb 13, 2026Updated 3 weeks ago
- Deriving via☆33Aug 6, 2018Updated 7 years ago
- Some operator abuse☆29Oct 23, 2017Updated 8 years ago
- Lazy infinite compact streams with cache-friendly O(1) indexing and applications for memoization☆60Dec 28, 2025Updated 2 months ago
- A syntax for unions of constraints in Haskell☆70Jun 30, 2017Updated 8 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆84Jan 20, 2026Updated last month
- every day i'm truffling☆70Mar 26, 2021Updated 4 years ago
- Stream editing with Haskell Megaparsec parsers☆81May 22, 2024Updated last year
- A Conflict-Free Replicated JSON Datatype for Haskell☆34Jul 14, 2018Updated 7 years ago
- Abstract binding tree code generator☆37Oct 31, 2016Updated 9 years ago
- Repo of the original work on finally tagless (and a lot of other metaocaml work besides)☆43Nov 28, 2018Updated 7 years ago
- Kind-safe framework for type-safe APIs☆78Aug 4, 2019Updated 6 years ago
- Continuous performance analysis reports for software projects 🤖☆41Jun 30, 2019Updated 6 years ago
- ☆36Jul 30, 2018Updated 7 years ago
- a modern library for typed path manipulation in Haskell☆36Jul 24, 2025Updated 7 months ago
- ☆10Jun 28, 2023Updated 2 years ago
- Standard ML (SML) grammar for tree-sitter☆14May 22, 2025Updated 9 months ago
- ☆17Jan 3, 2025Updated last year
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Feb 3, 2018Updated 8 years ago
- Summoner's core SDK for building and deploying agents☆13Feb 18, 2026Updated 2 weeks ago
- ☆10Apr 2, 2024Updated last year
- Find or build all reverse dependencies of a Haskell package using Nix☆14Jul 26, 2020Updated 5 years ago
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆16Feb 24, 2026Updated last week
- anonymous github for SGSR: Beyond Social Homophily: Score-based Generative Diffusion Models for Social Recommendations☆12Sep 18, 2025Updated 5 months ago