An efficient, lazy suffix tree implementation
☆13Dec 10, 2020Updated 5 years ago
Alternatives and similar repositories for suffixtree
Users that are interested in suffixtree are comparing it to the libraries listed below
Sorting:
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Jun 1, 2017Updated 8 years ago
- Selective applicative functors laws and theorems☆15Mar 12, 2020Updated 6 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Apr 22, 2025Updated 10 months ago
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 6 years ago
- A Parsec-like parsing library for Go.☆52Jan 8, 2019Updated 7 years ago
- A Formal Library about Elliptic Curves for the Mathematical Components Library.☆15Nov 10, 2021Updated 4 years ago
- ☆13Jul 24, 2021Updated 4 years ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- A bad XML parser☆22Sep 2, 2024Updated last year
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆13Oct 10, 2024Updated last year
- Succinct binary serialization☆15Aug 26, 2018Updated 7 years ago
- Selective applicative functors☆16Jul 2, 2018Updated 7 years ago
- React hook and component library for SkyVerge☆16Jan 7, 2023Updated 3 years ago
- Utrecht Haskell Compiler☆42Apr 2, 2012Updated 13 years ago
- An efficient sieve of Eratosthenes using CSP channels in Go☆30Sep 7, 2012Updated 13 years ago
- An efficient graph library for Haskell☆41Aug 26, 2025Updated 6 months ago
- Algebraic graphs in R☆14May 18, 2025Updated 10 months ago
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- Google Summer of Code 2012 project, GHCi for the web☆52Aug 20, 2012Updated 13 years ago
- Fast Haskell bindings to Google's Snappy compression library☆31Dec 21, 2022Updated 3 years ago
- ☆16Dec 9, 2020Updated 5 years ago
- Haskell graph library☆10Dec 18, 2017Updated 8 years ago
- Auto-generate a server for your datatype☆30Sep 4, 2022Updated 3 years ago
- A simple tool for visualising differences in Criterion benchmark results☆15Apr 11, 2025Updated 11 months ago
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- Performance shootout of various trie implementations☆18May 30, 2019Updated 6 years ago
- Collection of algorithms in Computational Geometry.☆18Oct 13, 2017Updated 8 years ago
- ☆18Jul 24, 2025Updated 7 months ago
- Miniature Haskell interactive environment for my kids to play around with☆13Aug 28, 2018Updated 7 years ago
- Edit is a monad for rewriting things.☆23Sep 9, 2020Updated 5 years ago
- Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff☆14Feb 13, 2018Updated 8 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- A library of components for RISC-V implementations in Haskell CLaSH☆13Mar 24, 2017Updated 8 years ago
- Abelian sandpiles☆16Nov 16, 2024Updated last year
- A haskell implementation of Fortune's Algorithm.☆13Nov 15, 2016Updated 9 years ago
- Make a map of all georeferenced maps on routegadget☆14Aug 4, 2021Updated 4 years ago
- Implementation of the ideas in the Build Systems a la Carte paper☆15Jan 5, 2019Updated 7 years ago
- Miscellaneous constructions on monoids☆24Jan 29, 2026Updated last month