Chess implemented entirely in the Rust and TS type systems.
☆312Jan 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 last month
- cargo-expand, but with Hygiene [WIP]☆21Aug 8, 2023Updated 2 years ago
- We have Crater At Home☆38Oct 26, 2024Updated last year
- wall time exex for reth☆12Aug 5, 2024Updated last year
- "Generic generics" / higher-kinded APIs in stable Rust.☆19Dec 8, 2025Updated 4 months ago
- 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.
- Append-only collections for Rust where borrows to entries can outlive insertions☆275Apr 7, 2026Updated last week
- Binary size analyzer for Rust programs☆37Apr 26, 2024Updated last year
- A tool to help with minimization of Rust code☆67Oct 17, 2025Updated 6 months 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☆266Apr 13, 2023Updated 3 years ago
- Like Rust's std::Path, but UTF-8.☆553Mar 31, 2026Updated 2 weeks ago
- Garbage collector implementation in Rust for Rust☆13Aug 30, 2020Updated 5 years ago
- Use bitsized types as if they were a feature of rust.☆195Sep 15, 2025Updated 7 months 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.
- calculate new mpt root without loading entire trie☆17Jun 19, 2024Updated last year
- A Logic World mod that adds movement to the game☆12Nov 14, 2021Updated 4 years ago
- Rust implementation for the IEEE 802.15.4 protocol☆22Jun 26, 2025Updated 9 months ago
- exhaustive testing library☆66Jul 29, 2024Updated last year
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,994Feb 8, 2026Updated 2 months ago
- [Ariadne has moved to Codeberg!] A fancy diagnostics & error reporting crate☆2,153Mar 23, 2026Updated 3 weeks ago
- A Rust doubly-linked intrusive list with Miri tests☆12May 4, 2024Updated last year
- A rapidly-updated list of live phishing domains for consumption by the eth-phishing-detect module☆15Aug 10, 2022Updated 3 years ago
- 'Transfer' is to 'move' what 'Clone' is to 'copy'☆12Oct 13, 2019Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An IDE extension for debugging trait errors in Rust.☆329Sep 15, 2025Updated 7 months ago
- automatially find crashes in the rust compiler & tooling☆82Apr 15, 2024Updated 2 years ago
- ☆261Nov 22, 2024Updated last year
- A pure functional language for type-level programming in Rust☆340Nov 12, 2022Updated 3 years ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆110Updated this week
- GitHub Action to automatically format Rust code and fix clippy lints.☆27Nov 24, 2025Updated 4 months ago
- A safe library for allocating arbitrarily sized data on the stack at runtime in Rust.☆24May 8, 2024Updated last year
- What if we could check declarative macros before using them?☆51Nov 3, 2024Updated last year
- Tools for working with functions in rust☆10Oct 11, 2020Updated 5 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.
- UB-free and deterministic rustc fuzzer☆102Dec 21, 2025Updated 3 months ago
- A homebrew tap☆16Feb 23, 2026Updated last month
- Typed distributed plugin registration☆1,288Mar 30, 2026Updated 2 weeks ago
- ☆107Mar 8, 2021Updated 5 years ago
- Manual segmented stacks for Rust☆341Feb 7, 2026Updated 2 months ago
- Cargo subcommand for viewing LLVM optimization remarks.☆207Oct 13, 2025Updated 6 months ago
- Procedural macro for automatically implementing metrics description and initialization.☆24Updated this week