causal-length sets in Rust
☆16Mar 25, 2026Updated 2 months ago
Alternatives and similar repositories for causal-length
Users that are interested in causal-length are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- a BOCU-1 encoder/decoder library in rust☆18Dec 28, 2022Updated 3 years ago
- café, a systems language☆19Feb 25, 2018Updated 8 years ago
- An Erlang-specific fork of A Logical Clock for Static and Dynamic Systems☆23Aug 18, 2020Updated 5 years ago
- Learn Rust on AWS or Learn AWS with Rust. Do whatever you would like.☆28Sep 2, 2021Updated 4 years ago
- Parser library for SQLite storage format in Rust☆19Mar 3, 2023Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Aug 6, 2021Updated 4 years ago
- Template node for a frontier (EVM) based parachain.☆15Apr 25, 2024Updated 2 years ago
- Polkadot Standard Transactions Per Second (sTPS) performance benchmarking☆17Feb 3, 2026Updated 4 months ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 6 years ago
- A small update notifier for NPM packages, useful for CLI apps.☆15Feb 8, 2026Updated 4 months ago
- wrap errors with automatic backtrace capture and print-on-result-unwrap☆32Apr 29, 2024Updated 2 years ago
- A maker of merkle-proofs for transaction receipts in ethereum using rust.☆15Sep 10, 2021Updated 4 years ago
- A "port" of plucid that works on OS X☆12Oct 25, 2014Updated 11 years ago
- Like a cell, but make lifetimes dynamic instead of ownership☆21Jul 14, 2022Updated 3 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.
- Mesos bindings for Haskell☆34Oct 29, 2015Updated 10 years ago
- Yet another key-value storage for Rust☆73Dec 17, 2021Updated 4 years ago
- _THE_ Polkadot SDK Tutorial☆19May 30, 2024Updated 2 years ago
- ☆14Sep 16, 2024Updated last year
- berlin windowing system -- historical snapshot☆15Dec 31, 2023Updated 2 years ago
- Safe generators on stable Rust.☆40Jul 1, 2023Updated 2 years ago
- Distributed Protocol Combinators☆14Apr 11, 2021Updated 5 years ago
- A fast implementation of the ECMA-182 CRC64 checksum using the CLMUL instruction set☆15Nov 1, 2016Updated 9 years ago
- Experimenting with Rust's fundamental data model☆61Feb 10, 2026Updated 4 months 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.
- ☆27Oct 29, 2021Updated 4 years ago
- Erlang zlib NIF library optimized for streaming☆16Feb 12, 2022Updated 4 years ago
- Undelete open files and loop mounts ("improved" version of fdlink)☆10Apr 19, 2011Updated 15 years ago
- Ed25519 suitable for use in consensus-critical contexts.☆55Aug 1, 2024Updated last year
- Research papers☆15Feb 11, 2016Updated 10 years ago
- ☆14Apr 7, 2016Updated 10 years ago
- A simple error library for no_std + no_alloc Rust☆18Apr 7, 2020Updated 6 years ago
- A fork of Rust’s `test` crate that doesn’t require unstable language features.☆21Apr 2, 2024Updated 2 years ago
- TiKV Browser: inspect key-values in a browser☆16Aug 26, 2019Updated 6 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.
- Implementation of HashMap and HashSet for no_std environments☆19Aug 19, 2019Updated 6 years ago
- Emonk!☆43Sep 4, 2011Updated 14 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆19Mar 19, 2017Updated 9 years ago
- Additional media and software for use with PERQemu☆11Jun 2, 2026Updated last week
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Feb 4, 2022Updated 4 years ago
- F-omega with interval kinds mechanized in Agda☆14Aug 1, 2024Updated last year
- Generate markdown comparison tables from `cargo-criterion` JSON output☆40Mar 15, 2022Updated 4 years ago