High performance LOUDS (Level-Order Unary Degree Sequence) library
☆37Jul 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
- Arbitrary precision integers library.☆27Mar 25, 2021Updated 4 years ago
- ☆16Feb 9, 2026Updated last month
- ☆16Mar 29, 2024Updated last year
- wall time exex for reth☆12Aug 5, 2024Updated last year
- Numerical snippets & tests☆12Jan 5, 2026Updated 2 months ago
- ☆23Sep 22, 2021Updated 4 years ago
- DRAT proof processor☆16Apr 8, 2023Updated 2 years ago
- Caching sparse Merkle Patricia Trie for reth.☆12Nov 18, 2024Updated last year
- Visualization tool for your IO-uring workload☆17Aug 19, 2024Updated last year
- Official Foundry landing page☆17Jun 28, 2023Updated 2 years ago
- nested & overlapping interval set functions, overlap, union, etc (Rust)☆17Apr 22, 2024Updated last year
- Label dependent dependent session types☆16May 2, 2024Updated last year
- A lightweight integrating markup language☆16Feb 24, 2020Updated 6 years ago
- Ethereum Node Record (ENR) rust implementation☆14Aug 4, 2022Updated 3 years ago
- A high-level API for interacting with SMT solvers.☆33Dec 8, 2025Updated 3 months ago
- Rust port of Go's singleflight package☆18Mar 29, 2024Updated last year
- Formalization of type theory☆22Jul 5, 2021Updated 4 years ago
- A Rust program for finding (salt, nonce)-pairs that create gas-efficient Ethereum addresses via CREATE3.☆19May 24, 2025Updated 9 months ago
- A simple induction and BMC engine.☆24May 16, 2022Updated 3 years 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
- {{{ rem = reth + malachite }}} {{{ proof of concept }}}☆20Jan 5, 2025Updated last year
- Statically typed, high-level functional programming language.☆17Aug 22, 2021Updated 4 years ago
- Produces a serialized hardware report of the physical infrastructure for automation☆26Jan 27, 2026Updated last month
- An Agda library for programming with ternary relations☆18Apr 9, 2025Updated 11 months ago
- Data frames for Idris 2☆23Jan 10, 2023Updated 3 years ago
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Jul 20, 2022Updated 3 years ago
- AACMM's generic-syntax, but with QTT-style annotations☆21Apr 7, 2024Updated last year
- Persistent binary merkle tree☆26Feb 17, 2026Updated 2 weeks ago
- A HyperLogLog implementation in Rust.☆52Feb 9, 2026Updated last month
- Pre-emptively created repository so the design can be discussed on the issue tracker before commits are made (repo name may change)☆18Mar 1, 2026Updated last week
- 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
- Rust implementation of Apple's AirPlay2 receiver☆28Mar 1, 2026Updated last week
- Port of Jeremy Ong's SIMD-enabled projective geometric algebra library☆16Oct 23, 2020Updated 5 years ago
- Intrinsic Verification of Formal Grammar Theory☆27Nov 22, 2025Updated 3 months ago
- A suite of portable, extensible `std` components for the superchain.☆21Jan 20, 2025Updated last year
- Relational Algebra at your fingertips☆62Dec 3, 2014Updated 11 years ago
- dependent type theory experiment☆26Mar 1, 2024Updated 2 years ago