causal-length sets in Rust
☆16Mar 25, 2026Updated 7 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
- A newtype wrapper that causes Debug impls to skip a field.☆21Apr 5, 2026Updated 6 months ago
- An Erlang-specific fork of A Logical Clock for Static and Dynamic Systems☆23Aug 18, 2020Updated 6 years ago
- Learn Rust on AWS or Learn AWS with Rust. Do whatever you would like.☆28Sep 2, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Implementation of the graphplan algorithm and plangraph data structure written in rust☆15Jul 7, 2020Updated 6 years ago
- Documentation for XCM☆11May 29, 2024Updated 2 years ago
- Parser library for SQLite storage format in Rust☆19Mar 3, 2023Updated 3 years ago
- A small update notifier for NPM packages, useful for CLI apps.☆17Jul 16, 2026Updated 3 months ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 6 years ago
- Polkadot Standard Transactions Per Second (sTPS) performance benchmarking☆19Oct 20, 2026Updated last week
- wrap errors with automatic backtrace capture and print-on-result-unwrap☆32Apr 29, 2024Updated 2 years ago
- Experimenting with Rust's fundamental data model☆64Jun 18, 2026Updated 4 months ago
- Fast case-insensitive validation and conversion between ISO Alpha-2, Alpha-3, and Numeric Codes.☆12Sep 7, 2017Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Barry Jay's (bond-eye) pattern language☆12Mar 16, 2011Updated 15 years ago
- Dependency manager for Erlang☆13Feb 27, 2014Updated 12 years ago
- A maker of merkle-proofs for transaction receipts in ethereum using rust.☆15Sep 10, 2021Updated 5 years ago
- ☆14Sep 16, 2024Updated 2 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆15Jun 1, 2020Updated 6 years ago
- Template node for a frontier (EVM) based parachain.☆15Oct 20, 2026Updated last week
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 8 years ago
- BadAppleOS in Rust.☆10Sep 19, 2020Updated 6 years ago
- 网易云音乐Chrome扩展☆10Jul 18, 2014Updated 12 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Flat spatial partitionning data structures in Rust☆36Jul 18, 2024Updated 2 years ago
- Undelete open files and loop mounts ("improved" version of fdlink)☆10Apr 19, 2011Updated 15 years ago
- A fast implementation of the ECMA-182 CRC64 checksum using the CLMUL instruction set☆15Nov 1, 2016Updated 10 years ago
- Prints various binary symbols in your crate☆15Mar 15, 2017Updated 9 years ago
- A Vec-like collection which guarantees stable indices and features O(1) deletion of elements☆28Aug 23, 2026Updated 2 months ago
- The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degre…☆11Oct 24, 2016Updated 10 years ago
- Like a cell, but make lifetimes dynamic instead of ownership☆22Jul 14, 2022Updated 4 years ago
- Safe generators on stable Rust.☆40Jul 1, 2023Updated 3 years ago
- SIMD accelerated CRC-64-ECMA computation☆56Sep 18, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- fltk-accesskit is an fltk accesskit adapter made to work with the fltk gui crate☆11Sep 22, 2025Updated last year
- Simple crate that wraps a tokio::process into a tokio::stream☆12Jun 21, 2025Updated last year
- Yet another key-value storage for Rust☆73Dec 17, 2021Updated 4 years ago
- ☆27Oct 29, 2021Updated 5 years ago
- _THE_ Polkadot SDK Tutorial☆19May 30, 2024Updated 2 years ago
- A list of all web3 companies/startups/ideas that are currently run by Portuguese people.☆17May 21, 2023Updated 3 years ago
- Label dependent dependent session types☆16May 2, 2024Updated 2 years ago