High performance LOUDS (Level-Order Unary Degree Sequence) library
☆38Jul 19, 2024Updated last year
Alternatives and similar repositories for louds-rs
Users that are interested in louds-rs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- High performance FID (Fully Indexable Dictionary) library☆26Jul 19, 2024Updated last year
- Memory efficient trie (prefix tree) library based on LOUDS☆135Mar 14, 2025Updated last year
- FST (Fast Succinct Trie) implementation in Rust☆26May 9, 2019Updated 7 years ago
- A dependent type system built entirely in Rust's trait system (WIP).☆26Oct 15, 2018Updated 7 years ago
- Rust port of Go's singleflight package☆18Mar 29, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Numerical snippets & tests☆12Jan 5, 2026Updated 5 months ago
- ☆24Sep 22, 2021Updated 4 years ago
- Label dependent dependent session types☆16May 2, 2024Updated 2 years ago
- ClamAV client library with optional support for async-std, smol, and Tokio☆26Oct 21, 2025Updated 7 months ago
- A HyperLogLog implementation in Rust.☆52Feb 9, 2026Updated 4 months ago
- Rudac is a Rust Data structure and Algorithm Crate. It aims to be a comprehensive crate of useful data structure and algorithms.☆18Oct 14, 2021Updated 4 years ago
- Visualization tool for your IO-uring workload☆21Aug 19, 2024Updated last year
- nested & overlapping interval set functions, overlap, union, etc (Rust)☆17Apr 22, 2024Updated 2 years ago
- Avrow is a pure Rust implementation of the avro specification https://avro.apache.org/docs/current/spec.html with Serde support.☆29Nov 5, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- wall time exex for reth☆12Aug 5, 2024Updated last year
- Simple memoization library for rust☆30Mar 8, 2020Updated 6 years ago
- Arbitrary precision integers library.☆27Mar 25, 2021Updated 5 years ago
- A simple induction and BMC engine.☆24May 16, 2022Updated 4 years ago
- ChibiOS for Rust☆18Aug 25, 2019Updated 6 years ago
- Official Foundry landing page☆17Jun 28, 2023Updated 2 years ago
- ☆16Mar 29, 2024Updated 2 years ago
- Formalization of type theory☆22Jul 5, 2021Updated 4 years ago
- Ethereum Node Record (ENR) rust implementation☆15Aug 4, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A high-level API for interacting with SMT solvers.☆34Dec 8, 2025Updated 6 months ago
- A canvas-based game built using Rust and WebAssembly☆16Jan 20, 2023Updated 3 years ago
- Relational Algebra at your fingertips☆62Dec 3, 2014Updated 11 years ago
- ☆15Jun 1, 2026Updated 2 weeks ago
- Statically typed, high-level functional programming language.☆17Aug 22, 2021Updated 4 years ago
- AACMM's generic-syntax, but with QTT-style annotations☆21Apr 7, 2024Updated 2 years ago
- Stream Store with HTTP/MQTT Pub/Sub☆28Feb 12, 2016Updated 10 years ago
- Lager is a standard logging tool for Erlang, this project crates lager formatter to output messages in gelf format and lager backend to s…☆16Nov 21, 2022Updated 3 years ago
- Intrinsic Verification of Formal Grammar Theory☆28May 20, 2026Updated 3 weeks ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A lightweight integrating markup language☆16Feb 24, 2020Updated 6 years ago
- Apple Vision Pro向けの日本語入力アプリ☆11Feb 8, 2024Updated 2 years ago
- An experimental language server for SomewhatML☆24Dec 30, 2022Updated 3 years ago
- calculate new mpt root without loading entire trie☆17Jun 19, 2024Updated last year
- An experimental programming language.☆19May 16, 2019Updated 7 years ago
- DRAT proof processor☆16Apr 8, 2023Updated 3 years ago
- Produces a serialized hardware report of the physical infrastructure for automation☆29Mar 25, 2026Updated 2 months ago