Chess implemented entirely in the Rust and TS type systems.
☆311Jan 8, 2024Updated 2 years ago
Alternatives and similar repositories for type-system-chess
Users that are interested in type-system-chess are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Teaching Rust, sharing patterns, and exploring real-world code.☆14Mar 13, 2026Updated 5 months ago
- cargo-expand, but with Hygiene [WIP]☆21Aug 8, 2023Updated 3 years ago
- We have Crater At Home☆39Oct 26, 2024Updated last year
- wall time exex for reth☆12Aug 5, 2024Updated 2 years ago
- Append-only collections for Rust where borrows to entries can outlive insertions☆280Jun 27, 2026Updated last month
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A tool to help with minimization of Rust code☆71Oct 17, 2025Updated 9 months ago
- Binary size analyzer for Rust programs☆37Apr 26, 2024Updated 2 years ago
- Caching sparse Merkle Patricia Trie for reth.☆12Nov 18, 2024Updated last year
- A snapshot of name squatting on crates.io☆75Apr 14, 2024Updated 2 years ago
- Your favourite Haskell type classes for Rust☆268Apr 13, 2023Updated 3 years ago
- Garbage collector implementation in Rust for Rust☆13Aug 30, 2020Updated 5 years ago
- Like Rust's std::Path, but UTF-8.☆574Jul 28, 2026Updated 2 weeks ago
- A Logic World mod that adds movement to the game☆13Nov 14, 2021Updated 4 years ago
- calculate new mpt root without loading entire trie☆17Jun 19, 2024Updated 2 years 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.
- Use bitsized types as if they were a feature of rust.☆198Sep 15, 2025Updated 11 months ago
- Rust implementation for the IEEE 802.15.4 protocol☆22Jun 26, 2025Updated last year
- exhaustive testing library☆66Jul 29, 2024Updated 2 years ago
- 🚃 lib for CLI utilities, printing, and error handling☆16Mar 13, 2026Updated 5 months ago
- [Ariadne has moved to Codeberg!] A fancy diagnostics & error reporting crate☆2,161Mar 23, 2026Updated 4 months ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆2,008Feb 8, 2026Updated 6 months ago
- A rapidly-updated list of live phishing domains for consumption by the eth-phishing-detect module☆15Aug 10, 2022Updated 4 years ago
- A Rust doubly-linked intrusive list with Miri tests☆12May 4, 2024Updated 2 years ago
- 'Transfer' is to 'move' what 'Clone' is to 'copy'☆12Oct 13, 2019Updated 6 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆263Nov 22, 2024Updated last year
- A pure functional language for type-level programming in Rust☆344Nov 12, 2022Updated 3 years ago
- find crashes in the rust compiler & related tooling☆88Apr 15, 2024Updated 2 years ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆119Updated this week
- "Generic generics" / higher-kinded APIs in stable Rust.☆20Jul 31, 2026Updated 2 weeks ago
- A safe library for allocating arbitrarily sized data on the stack at runtime in Rust.☆25Jul 1, 2026Updated last month
- GitHub Action to automatically format Rust code and fix clippy lints.☆28Jul 1, 2026Updated last month
- UB-free and deterministic rustc fuzzer☆107Dec 21, 2025Updated 7 months ago
- A homebrew tap☆16Feb 23, 2026Updated 5 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- What if we could check declarative macros before using them?☆52Nov 3, 2024Updated last year
- ☆112Mar 8, 2021Updated 5 years ago
- SIMD-optimized B+ Tree implementation that uses integer keys☆96Jul 13, 2025Updated last year
- Typed distributed plugin registration☆1,329Aug 3, 2026Updated last week
- Manual segmented stacks for Rust☆356Aug 2, 2026Updated last week
- Library for snippet annotations☆514Updated this week
- Cargo subcommand for viewing LLVM optimization remarks.☆207Oct 13, 2025Updated 10 months ago