Play Sudoku in Rust's Type System and Rich Error Messages by Rustc🦀
☆15May 24, 2025Updated last year
Alternatives and similar repositories for sudoku-type-rs
Users that are interested in sudoku-type-rs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Wiki for design work going beyond Rust's current reference types☆14Oct 2, 2026Updated last month
- A job management system designed for the Cloudflare stack.☆19Updated this week
- Allow GHCJS projects to compile under GHC and develop using intero☆10Aug 27, 2022Updated 4 years ago
- ☆12Oct 27, 2026Updated last week
- solana vote monitor with real-time tvc (timely vote credits) tracking.☆14Jul 23, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A programming language for gastropods☆10Jun 20, 2024Updated 2 years ago
- Easy concurrency in Haskell☆12Feb 22, 2026Updated 8 months ago
- Nintendo GameBoy Emulator☆14Oct 3, 2026Updated 3 weeks ago
- Quadcopter(s) simulator for python.☆14Feb 26, 2020Updated 6 years ago
- Modern bindings to Oracle odpic☆12Oct 26, 2025Updated last year
- Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter☆17Jul 5, 2017Updated 9 years ago
- A red-black tree and set with callbacks☆24Sep 6, 2026Updated last month
- cargo plugin to run commands against all combinations of features☆14Oct 17, 2026Updated 2 weeks ago
- A programming language with builtin symbolic algebra.☆17Oct 2, 2026Updated last month
- 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.
- A modded Zero-K Experience featuring heavier commanders, cluster bombs, more explosions, and more action!☆16Sep 8, 2026Updated last month
- Machine Learning in Bend 2: Dependent Types, Shapes at the Type Level, and Proven Laws☆21Updated this week
- ☆11Aug 26, 2026Updated 2 months ago
- A multi-signature governance solution that enables threshold-based execution against solana programs.☆20Sep 18, 2026Updated last month
- OpenTelemetry instrumentation for Servant, compatible with hs-opentelemetry.☆16Aug 17, 2026Updated 2 months ago
- A standalone, flexible fine-grained reactivity library☆13Dec 19, 2025Updated 10 months ago
- Markup for the Terminal, but faster and safer.☆53Jun 11, 2026Updated 4 months ago
- Rust macro to specialize on the type of an expression.☆50Apr 26, 2023Updated 3 years ago
- An Interpreter written in Rust☆11May 14, 2024Updated 2 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.
- Rate limiting for Servant and as WAI middleware☆17Oct 26, 2026Updated last week
- Helper code for dm-log-writes target.☆13Jul 9, 2024Updated 2 years ago
- Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456☆21Dec 2, 2021Updated 4 years ago
- A verified, modern, hardened memory allocator. [maintainer=@cmovcc]☆55Sep 21, 2026Updated last month
- A category polymorphic `Functor` typeclass.☆11Jul 27, 2026Updated 3 months ago
- Language Server implementation for Cargo.toml☆57Nov 14, 2025Updated 11 months ago
- Haskell DataDog client library☆19Mar 30, 2022Updated 4 years ago
- Proving crash safety for systems with layered recovery☆16Apr 1, 2026Updated 7 months ago
- Basic script to pull addresses from a NTP server using the monlist command.☆14Apr 20, 2017Updated 9 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.
- Tool for creating a tradeoff curve (Pareto front) for two competing design requirements by fitting a response surface to design of experi…☆21Mar 31, 2025Updated last year
- get the edges of objects in images☆13Jul 15, 2026Updated 3 months ago
- REAM is an event-sourcing system☆17Oct 16, 2023Updated 3 years ago
- ☆23Jul 29, 2024Updated 2 years ago
- Extra event types built on top of rsevents☆17May 19, 2023Updated 3 years ago
- Code formatter for the Yew framework☆29Jul 16, 2025Updated last year
- Empowering you to find your people, build your crew, and forge lifelong friendships and relationships☆12Jun 4, 2026Updated 4 months ago