A prolly tree (probabilistic tree) is a data structure designed to provide efficient storage, retrieval, and modification of ordered data with integrity guarantees.
☆31Jul 8, 2026Updated last week
Alternatives and similar repositories for prollytree
Users that are interested in prollytree are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Zero-copy, no-std proquint encoding and decoding☆14May 7, 2023Updated 3 years ago
- ☆42Apr 21, 2024Updated 2 years ago
- The rust implementation of the Defluencer protocol.☆13Sep 3, 2025Updated 10 months ago
- Fast, safe mutable dynamic arrays for OCaml☆29Jan 18, 2024Updated 2 years ago
- Tools for testing and verifying the safety and correctness of C programs.☆19May 5, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules☆31Feb 5, 2023Updated 3 years ago
- A reader that buffers ranged calls☆12May 17, 2022Updated 4 years ago
- A local first persistent log☆36Sep 14, 2025Updated 10 months ago
- A pure ruby client for Apache Pulsar☆13Oct 1, 2025Updated 9 months ago
- Code snippets for accompanying the sans-IO blog post.☆19Aug 24, 2024Updated last year
- Blazing-fast query execution engine speaks Apache Spark language and has Arrow-DataFusion at its core.☆11Apr 23, 2022Updated 4 years ago
- A tutorial on how to use pulsar-spark-connector☆11Oct 13, 2020Updated 5 years ago
- Generated Rust of Apache Arrow spec☆17Jun 13, 2023Updated 3 years ago
- Tiny little crate to determine how large an unnameable type is.☆12Mar 29, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- REPL for C preprocessor of C++17☆10Jul 20, 2025Updated last year
- Modern cryptography primitives implemented in Scratch, via Boiga☆13Jul 16, 2022Updated 4 years ago
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- Graph Definition Language in Rust☆16Feb 12, 2023Updated 3 years ago
- Enhance SSR for Rust☆16Jun 12, 2024Updated 2 years ago
- Quick and dirty debugging☆18Jun 26, 2026Updated 3 weeks ago
- Protohackers is a server programming challenge. Here is an implementation using OCaml 5 and the effects-based IO library Eio☆16Feb 10, 2023Updated 3 years ago
- Token De/Serializer for testing De/Serialize implementations☆14Dec 17, 2024Updated last year
- Control and have synced your monitor brightness and contrast controls☆17Jan 2, 2021Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- an arithmetic library for OCaml’s native integers☆11Jun 30, 2024Updated 2 years ago
- An implementation of Piet's text interface using cosmic-text☆14Apr 23, 2024Updated 2 years ago
- Rust safe binding for libpq☆21Jun 22, 2026Updated 3 weeks ago
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago
- Redis Automerge☆24May 13, 2026Updated 2 months ago
- Formalization of CBPV extended with effect and coeffect tracking☆17Aug 30, 2024Updated last year
- A PBT framework☆10Jul 19, 2025Updated last year
- Rust bindings for the Lean 4 proof assistant☆50Sep 24, 2025Updated 9 months ago
- A repository that demonstrates edge cases where iteratively evaluating single forms at the REPL falls down.☆19Apr 25, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- micromark extension to support MDX or MDX JS expressions☆13Mar 24, 2025Updated last year
- zero-dependency rust crate for generating and applying partial diffs between struct instances☆35Nov 26, 2025Updated 7 months ago
- A simple cassandra like kv store using gossip protocol☆15Sep 19, 2020Updated 5 years ago
- A reimplementation of the Flap parser in Rust (with our own modifications applied)!☆55Apr 10, 2024Updated 2 years ago
- List POSIX signal information for all processes on Linux☆16May 7, 2025Updated last year
- A thin entity layer around Sled using Bincode for serialization☆12Mar 14, 2023Updated 3 years ago
- Extension to `thiserror` that helps reduce the amount of handwriting☆13Apr 6, 2023Updated 3 years ago