Chess implemented entirely in the Rust and TS type systems.
☆356Jan 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 7 months ago
- cargo-expand, but with Hygiene [WIP]☆21Aug 8, 2023Updated 3 years ago
- We have Crater At Home☆40Sep 26, 2026Updated 2 weeks ago
- wall time exex for reth☆12Aug 5, 2024Updated 2 years ago
- Append-only collections for Rust where borrows to entries can outlive insertions☆280Sep 12, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A tool to help with minimization of Rust code☆71Oct 17, 2025Updated 11 months ago
- Binary size analyzer for Rust programs☆35Apr 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☆76Apr 14, 2024Updated 2 years ago
- Your favourite Haskell type classes for Rust☆269Apr 13, 2023Updated 3 years ago
- Garbage collector implementation in Rust for Rust☆13Aug 30, 2020Updated 6 years ago
- Like Rust's std::Path, but UTF-8.☆580Sep 15, 2026Updated last month
- 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
- 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.
- Use bitsized types as if they were a feature of rust.☆200Sep 18, 2026Updated 3 weeks ago
- [Ariadne has moved to Codeberg!] A fancy diagnostics & error reporting crate☆2,155Mar 23, 2026Updated 6 months ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆2,019Updated this week
- 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 7 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 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆261Nov 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☆120Sep 28, 2026Updated 2 weeks ago
- "Generic generics" / higher-kinded APIs in stable Rust.☆20Sep 7, 2026Updated last month
- A safe library for allocating arbitrarily sized data on the stack at runtime in Rust.☆25Jul 1, 2026Updated 3 months ago
- GitHub Action to automatically format Rust code and fix clippy lints.☆27Jul 1, 2026Updated 3 months ago
- UB-free and deterministic rustc fuzzer☆107Dec 21, 2025Updated 9 months ago
- A homebrew tap☆16Feb 23, 2026Updated 7 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.
- 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,361Oct 7, 2026Updated last week
- Manual segmented stacks for Rust☆360Aug 19, 2026Updated last month
- Library for snippet annotations☆522Oct 5, 2026Updated last week
- Cargo subcommand for viewing LLVM optimization remarks.☆208Oct 13, 2025Updated last year