A Rust implementation of two segment trees and a fenwick tree.
☆67Dec 28, 2018Updated 7 years ago
Alternatives and similar repositories for segment-tree
Users that are interested in segment-tree are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A prefix sum implementation rust.☆13Jan 2, 2019Updated 7 years ago
- A C-style for loop macro☆13Sep 30, 2020Updated 5 years ago
- ☆16Feb 18, 2025Updated last year
- Effectful Streaming for Idris☆15Dec 13, 2020Updated 5 years ago
- TypeScript client for Idris IDE-mode.☆13Nov 6, 2022Updated 3 years ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆28Nov 12, 2025Updated 4 months ago
- Libgit2 bindings for Idris 2☆13Sep 10, 2020Updated 5 years ago
- van Laarhoven lenses for Idris☆20Sep 25, 2017Updated 8 years ago
- Yet another Scheme interpreter.☆11Sep 17, 2022Updated 3 years ago
- ☆28Dec 29, 2020Updated 5 years ago
- 🍎 Play Bad Apple! with Haskell☆15Jul 22, 2022Updated 3 years ago
- Rust wrapper for the ANSI C radix tree "rax" implementation that is used in Redis☆10Jul 17, 2018Updated 7 years ago
- A Redis module implementing a MultiMap type☆16Feb 21, 2020Updated 6 years ago
- Stack buffer provides alternatives to Buf{Reader,Writer} allocated on the stack instead of the heap.☆14Apr 21, 2022Updated 3 years ago
- A library for querying connected PCI devices and a pci.ids parser.☆24Dec 13, 2021Updated 4 years ago
- Simple example app using Gatsby.js with Purescript☆12Jan 6, 2023Updated 3 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Jan 15, 2018Updated 8 years ago
- A pure-rust(with zero dependencies) fenwick tree, for the efficient computation of dynamic prefix sums.☆21Jan 4, 2026Updated 2 months ago
- Predicator, a Rust crate for generating and running dynamic code☆16Sep 25, 2018Updated 7 years ago
- Support crate for rustc's self-profiling feature☆378Jul 9, 2025Updated 8 months ago
- PDCurses Rust FFI bindings☆17Mar 23, 2019Updated 7 years ago
- allows you to run multiple cargo commands in a row☆19Jul 14, 2017Updated 8 years ago
- 🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.☆16Jul 13, 2020Updated 5 years ago
- The arena, a fast but limited type of allocator☆578Aug 16, 2024Updated last year
- Static time zone information for tz-rs.☆41Mar 15, 2026Updated last week
- Free Monads and useful constructions to work with them☆26Aug 14, 2018Updated 7 years ago
- Rust library for fast types.☆15Feb 1, 2018Updated 8 years ago
- A BST (binary search tree) that supports fast clone, query and delete-range operations☆19Apr 12, 2017Updated 8 years ago
- Physical disk use retrieval☆11Mar 19, 2020Updated 6 years ago
- Ergonomic and composable async stream generation without macros☆26Feb 17, 2026Updated last month
- A Minecraft demo in Haskell ;)☆12Mar 11, 2016Updated 10 years ago
- Use off-side syntax (indent instead of braces, like in Python) to write Rust!☆10Jun 26, 2019Updated 6 years ago
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆24Jun 2, 2020Updated 5 years ago
- Constructive Interpretations of HoTT☆36Aug 26, 2020Updated 5 years ago
- A smarter SSH CLI with better host management and fuzzy host picker. Works standalone or as an optional drop-in replacement for ssh.☆36Feb 28, 2026Updated 3 weeks ago
- A minimal esolang based on lambda calculus☆16Jan 13, 2021Updated 5 years ago
- Experimental normalisation via scheme☆12Jul 25, 2021Updated 4 years ago
- Test whether a given stream is a terminal☆53Oct 23, 2025Updated 5 months ago
- Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.☆3,295Feb 21, 2026Updated last month