ekmett / lcaLinks
Improves the known complexity of online lowest common ancestor search to O(log h) persistently, and without preprocessing
☆27Updated 10 months ago
Alternatives and similar repositories for lca
Users that are interested in lca are comparing it to the libraries listed below
Sorting:
- Generic functions for single-sorted first-order structural unification☆45Updated 6 months ago
- ☆18Updated 3 months ago
- Compact regions library for Haskell☆82Updated last year
- being a thing I build on a Saturday☆28Updated 7 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- Haskell library for simple, concise and fast generic operations.☆82Updated 2 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆126Updated last year
- Generic random generators☆81Updated 2 years ago
- Unpacked containers using backpack☆52Updated 5 years ago
- Literature review of GHC's Core language, System FC☆67Updated 7 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- Hopefully verifiable code generation in GHC☆94Updated 8 years ago
- do-notation for Category and "Arrow without arr"☆62Updated 8 years ago
- Yet another yet another recursion scheme library in Haskell.☆89Updated last week
- ☆41Updated 8 years ago
- Haskell library for semigroup actions and torsors☆64Updated 9 months ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆57Updated 6 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- Haskell port of the WebAssembly OCaml reference interpreter☆45Updated 2 years ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 6 years ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆67Updated 3 years ago
- Tiny type-checker with dependent types☆78Updated 11 years ago
- An embedded probabilistic programming language.☆34Updated 8 years ago
- being the materials for a paper I have in mind to write about the bidirectional discipline☆52Updated 3 months ago
- Interpreter for GHC Haskell☆22Updated 6 years ago
- Fine-grained lattice primitives for Haskell☆37Updated 4 months ago
- Tutorial for LiquidHaskell☆81Updated last year
- Ghosts of Departed Proofs☆61Updated 4 years ago
- A total recursion scheme library for Dhall☆66Updated last month
- "Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)☆40Updated 10 years ago