laysakura / louds-rsView external linksLinks
High performance LOUDS (Level-Order Unary Degree Sequence) library
☆35Jul 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
Sorting:
- High performance FID (Fully Indexable Dictionary) library☆25Jul 19, 2024Updated last year
- Memory efficient trie (prefix tree) library based on LOUDS☆131Mar 14, 2025Updated 11 months ago
- Arbitrary precision integers library.☆28Mar 25, 2021Updated 4 years ago
- ☆16Mar 29, 2024Updated last year
- wall time exex for reth☆12Aug 5, 2024Updated last year
- ☆23Sep 22, 2021Updated 4 years ago
- A dependent type system built entirely in Rust's trait system (WIP).☆25Oct 15, 2018Updated 7 years ago
- DRAT proof processor☆16Apr 8, 2023Updated 2 years ago
- Visualization tool for your IO-uring workload☆17Aug 19, 2024Updated last year
- Caching sparse Merkle Patricia Trie for reth.☆12Nov 18, 2024Updated last year
- Official Foundry landing page☆17Jun 28, 2023Updated 2 years ago
- Ethereum Node Record (ENR) rust implementation☆14Aug 4, 2022Updated 3 years ago
- Label dependent dependent session types☆16May 2, 2024Updated last year
- A lightweight integrating markup language☆16Feb 24, 2020Updated 5 years ago
- A high-level API for interacting with SMT solvers.☆33Dec 8, 2025Updated 2 months ago
- A simple induction and BMC engine.☆24May 16, 2022Updated 3 years ago
- A Rust program for finding (salt, nonce)-pairs that create gas-efficient Ethereum addresses via CREATE3.☆19May 24, 2025Updated 8 months ago
- An experimental programming language.☆19May 16, 2019Updated 6 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
- calculate new mpt root without loading entire trie☆17Jun 19, 2024Updated last year
- A rapidly-updated list of live phishing domains for consumption by the eth-phishing-detect module☆16Aug 10, 2022Updated 3 years ago
- Statically typed, high-level functional programming language.☆17Aug 22, 2021Updated 4 years ago
- {{{ rem = reth + malachite }}} {{{ proof of concept }}}☆20Jan 5, 2025Updated last year
- AACMM's generic-syntax, but with QTT-style annotations☆21Apr 7, 2024Updated last year
- Data frames for Idris 2☆23Jan 10, 2023Updated 3 years ago
- A HyperLogLog implementation in Rust.☆52Feb 9, 2026Updated last week
- Pre-emptively created repository so the design can be discussed on the issue tracker before commits are made (repo name may change)☆18Jan 1, 2026Updated last month
- 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
- Persistent binary merkle tree☆26Updated this week
- An Agda library for programming with ternary relations☆18Apr 9, 2025Updated 10 months ago
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Jul 20, 2022Updated 3 years ago
- Rust implementation of Apple's AirPlay2 receiver☆25Feb 4, 2026Updated last week
- Port of Jeremy Ong's SIMD-enabled projective geometric algebra library☆16Oct 23, 2020Updated 5 years ago
- ChibiOS for Rust☆18Aug 25, 2019Updated 6 years ago
- dependent type theory experiment☆26Mar 1, 2024Updated last year
- LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.☆20Nov 12, 2020Updated 5 years ago
- Relational Algebra at your fingertips☆62Dec 3, 2014Updated 11 years ago
- SSZ-compatible tree hash implementation optimised for speed and security☆23Feb 5, 2026Updated last week
- An experimental language server for SomewhatML☆24Dec 30, 2022Updated 3 years ago