A playground for thinking about what Rust could be like
☆24Aug 22, 2024Updated last year
Alternatives and similar repositories for rust-of-my-dreams
Users that are interested in rust-of-my-dreams are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Game competition server software for Rust gamedev community☆15Aug 24, 2019Updated 6 years ago
- Talk requests and proposals for https://www.meetup.com/MadRust/☆14Jun 7, 2024Updated last year
- ☆13Nov 19, 2024Updated last year
- Toolkitty is a coordination app for collectives, organisers and venues. You can organise events, share resources and spaces in a collabor…☆60Aug 11, 2025Updated 8 months ago
- itertools (and more-itertools) in the form of function call chaining (fluent interface)☆15Jan 27, 2025Updated last year
- 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.
- resilient location sharing☆14Sep 23, 2021Updated 4 years ago
- Write yourself a simply-typed lambda calculus using Rust in a week!☆13May 13, 2024Updated last year
- A minimal Secure Scuttlebutt replication node.☆22Oct 14, 2024Updated last year
- create symbolic link between hyperdrives☆13Feb 19, 2017Updated 9 years ago
- Container Registry Synchronization made easy and fast☆12Oct 7, 2021Updated 4 years ago
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆14Dec 11, 2024Updated last year
- An Agda library for programming with ternary relations☆18Apr 9, 2025Updated last year
- Utility methods related to public key cryptography to be used with distributed mutable storage☆15May 13, 2020Updated 5 years ago
- experiment☆12Jan 1, 2023Updated 3 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.
- Dynamic structured values for Rust☆30Nov 20, 2025Updated 5 months ago
- A simple directed multigraph built on Hypertrie.☆14Feb 12, 2022Updated 4 years ago
- Verify Cairo contracts in Lean 4☆20May 22, 2025Updated 11 months ago
- Autoshare dat links found in ssb posts☆21Mar 8, 2022Updated 4 years ago
- Tag the safety properties of the Rust standard library.☆19Updated this week
- An example of how you can use dat in the browser☆13Feb 19, 2019Updated 7 years ago
- The CompCert formally-verified C compiler☆11Apr 21, 2026Updated last week
- Allows for dynamic compile-time embedding of existing tests and examples in your Rust doc comments and markdown files☆27Feb 21, 2025Updated last year
- PDF library in Rust☆41Mar 6, 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.
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 3 years ago
- cross-platform patching of the shared libraries in rust ( patchelf && install_name_tool )☆41Apr 7, 2026Updated 3 weeks ago
- A CustomElement trait to create web components out of Rust structs.☆16Jun 2, 2025Updated 10 months ago
- Simple sync/async event dispatcher for Rust☆17Dec 20, 2023Updated 2 years ago
- ☆12Jul 1, 2017Updated 8 years ago
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 3 years ago
- A Rust implementation of the Lean kernel☆11Jan 2, 2023Updated 3 years ago
- About Telescope extension wrapper around `:changes`☆11Jun 28, 2023Updated 2 years ago
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆21Feb 22, 2026Updated 2 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.
- Compositional Verification of Composite Byzantine Protocols☆13Aug 24, 2024Updated last year
- Propositional logic with types in Rust☆65Aug 1, 2023Updated 2 years ago
- Wildcard matching☆213Apr 6, 2026Updated 3 weeks ago
- GPT: Rust Assistant. Your go-to expert in the Rust ecosystem, specializing in precise code interpretation, up-to-date crate version check…☆18Mar 4, 2025Updated last year
- Mental model for unsafe in Rust☆18Feb 10, 2025Updated last year
- Support for compiling C programs with Eyra☆15Oct 13, 2024Updated last year
- A curated list of awesome things related to learning Binius☆16Jan 9, 2025Updated last year