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:
- ☆13Jul 24, 2021Updated 4 years ago
- Succinct binary serialization☆15Aug 26, 2018Updated 7 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Apr 22, 2025Updated 10 months ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Jun 1, 2017Updated 8 years ago
- A Formal Library about Elliptic Curves for the Mathematical Components Library.☆15Nov 10, 2021Updated 4 years ago
- Selective applicative functors laws and theorems☆15Mar 12, 2020Updated 5 years ago
- ☆18Jul 24, 2025Updated 7 months ago
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 6 years ago
- Utrecht Haskell Compiler☆42Apr 2, 2012Updated 13 years ago
- ☆16Dec 9, 2020Updated 5 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
- A C++ implementation of a Generalized Suffix Tree using Ukkonen's algorithm☆22Jul 11, 2016Updated 9 years ago
- Haskell Join-calculus DSL☆24Jan 5, 2019Updated 7 years ago
- A bad XML parser☆22Sep 2, 2024Updated last year
- A Verilog parser for Haskell.☆36Jul 6, 2021Updated 4 years ago
- Bulletproofs++: Even Shorter Range Proofs☆31Mar 30, 2022Updated 3 years ago
- An efficient graph library for Haskell☆41Aug 26, 2025Updated 6 months ago
- Haskell bindings for the pcap library, which provides a low level interface to packet capture systems.☆27Mar 30, 2020Updated 5 years ago
- Paris Functional Programming Meetup☆27Mar 21, 2020Updated 5 years ago
- A topological data analysis library for Haskell☆29Mar 16, 2021Updated 4 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Sep 16, 2017Updated 8 years ago
- A small demo lambda-language written in Python☆32Jul 10, 2018Updated 7 years ago
- Auto-generate a server for your datatype☆30Sep 4, 2022Updated 3 years ago
- Easy SMT solver interaction☆34Feb 3, 2026Updated 3 weeks ago
- A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.☆36May 14, 2017Updated 8 years ago
- Cochlear implant signal processing☆10Jun 24, 2021Updated 4 years ago
- A Highly Readable Pebble Watch Face☆17Jan 21, 2016Updated 10 years ago
- HTML::Tidy is no longer being maintained. Please see the new project https://github.com/petdance/html-tidy5☆31Oct 2, 2018Updated 7 years ago
- Small minimal examples of modern cryptographic techniques in Haskell☆77Nov 27, 2019Updated 6 years ago
- Cryptographic Constructions in the Type Theory of Agda☆52Aug 8, 2015Updated 10 years ago
- Fine-grained lattice primitives for Haskell☆38Jul 1, 2025Updated 8 months ago
- MonoDevelop☆16Jan 4, 2012Updated 14 years ago
- A research notes about how to get benefits from Cython to be asynchronous beyond IO tasks☆11Feb 17, 2020Updated 6 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- A white-box Speck implementation using self-equivalence encodings☆13Jun 25, 2022Updated 3 years ago
- code examples of a the SDKv6.0 DFU bootloader modified to be built by gcc.☆10Jan 8, 2025Updated last year
- A little book on General Relativity and Einstein–Cartan Theory☆16Mar 13, 2014Updated 11 years ago
- This is a simple notebook comparing the output of Holt-Winters, SARIMA and FBProphet. Information about parameter tuning has not been inc…☆11Jun 27, 2019Updated 6 years ago