A Rust implementation of two segment trees and a fenwick tree.
☆66Dec 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
Sorting:
- A prefix sum implementation rust.☆13Jan 2, 2019Updated 7 years ago
- TypeScript client for Idris IDE-mode.☆13Nov 6, 2022Updated 3 years ago
- Yet another Scheme interpreter.☆11Sep 17, 2022Updated 3 years ago
- Effectful Streaming for Idris☆15Dec 13, 2020Updated 5 years ago
- ☆16Feb 18, 2025Updated last year
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆28Nov 12, 2025Updated 3 months ago
- Libgit2 bindings for Idris 2☆13Sep 10, 2020Updated 5 years ago
- A C-style for loop macro☆13Sep 30, 2020Updated 5 years ago
- Rust library for using the backblaze b2 api.☆17Aug 26, 2022Updated 3 years ago
- A library for querying connected PCI devices and a pci.ids parser.☆24Dec 13, 2021Updated 4 years ago
- Stack buffer provides alternatives to Buf{Reader,Writer} allocated on the stack instead of the heap.☆14Apr 21, 2022Updated 3 years ago
- PDCurses Rust FFI bindings☆17Mar 23, 2019Updated 6 years ago
- A TOML parser for Idris 2☆17Jun 27, 2024Updated last year
- 🍎 Play Bad Apple! with Haskell☆15Jul 22, 2022Updated 3 years ago
- A pure-rust(with zero dependencies) fenwick tree, for the efficient computation of dynamic prefix sums.☆21Jan 4, 2026Updated last month
- 🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.☆16Jul 13, 2020Updated 5 years ago
- van Laarhoven lenses for Idris☆20Sep 25, 2017Updated 8 years ago
- allows you to run multiple cargo commands in a row☆19Jul 14, 2017Updated 8 years ago
- Asynchronize blocking operation.☆26Apr 1, 2022Updated 3 years ago
- Atomic Physics Library☆22Oct 27, 2025Updated 4 months ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Jan 15, 2018Updated 8 years ago
- Experimental normalisation via scheme☆12Jul 25, 2021Updated 4 years ago
- Rust library for setting up and running distributed Monte-Carlo statistical simulations. Designed primarily for lattice QCD.☆41Aug 13, 2019Updated 6 years ago
- A Redis module implementing a MultiMap type☆16Feb 21, 2020Updated 6 years ago
- A Lean 4 formalization of Pólya enumeration theorem.☆21Jun 6, 2025Updated 8 months ago
- The arena, a fast but limited type of allocator☆578Aug 16, 2024Updated last year
- ☆28Dec 29, 2020Updated 5 years ago
- An ordered map and set based on a trie.☆28May 21, 2020Updated 5 years ago
- A simple way to parse a string using type annotations☆13Jul 28, 2022Updated 3 years ago
- Rust library for fast types.☆15Feb 1, 2018Updated 8 years ago
- Documented version of a simple type-theoretic language: Mini-TT☆18May 5, 2019Updated 6 years ago
- Implementations of various toy programming languages☆12Apr 19, 2018Updated 7 years ago
- Simple example app using Gatsby.js with Purescript☆12Jan 6, 2023Updated 3 years ago
- Typesafe extensions for sorted iterators, including set and relational operations☆17Nov 11, 2025Updated 3 months ago
- Formalising Turing Machines In Coq (bachelor's thesis)☆12Jul 5, 2023Updated 2 years ago
- A Dict k v in Idris☆15Dec 15, 2020Updated 5 years ago
- A Minecraft demo in Haskell ;)☆12Mar 11, 2016Updated 9 years ago
- Playing with incremental parsing and later compiler passes☆12Dec 12, 2018Updated 7 years ago
- Rust wrapper for the ANSI C radix tree "rax" implementation that is used in Redis☆10Jul 17, 2018Updated 7 years ago