A playground for thinking about what Rust could be like
☆24Aug 22, 2024Updated 2 years ago
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:
- Hardhat plugin to develop smart contracts with Fe☆15Aug 2, 2022Updated 4 years ago
- Talk requests and proposals for https://www.meetup.com/MadRust/☆14Jun 7, 2024Updated 2 years ago
- A simple intermediate language for generating EVM bytecode.☆13Oct 17, 2024Updated last year
- The home of the Plank Compiler and Sensei IR, its language agnostic EVM IR & backend.☆67Oct 7, 2026Updated last week
- ☆13Nov 19, 2024Updated 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.
- resilient location sharing☆13Sep 23, 2021Updated 5 years ago
- decentralised platform for sharing notes privately☆14May 13, 2026Updated 5 months ago
- Interactive pathfinding visualization demonstrating optimal path discovery around polygonal obstacles.☆13Nov 18, 2024Updated last year
- create symbolic link between hyperdrives☆13Feb 19, 2017Updated 9 years ago
- ☆25Nov 5, 2024Updated last year
- Container Registry Synchronization made easy and fast☆12Oct 7, 2021Updated 5 years ago
- experiment☆12Jan 1, 2023Updated 3 years ago
- A memory efficient syntax tree for language developers☆63Dec 27, 2025Updated 9 months ago
- Dynamic structured values for Rust☆32Aug 31, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆13Aug 13, 2023Updated 3 years ago
- erlang prototype of scuttlebutt protocol☆28Oct 7, 2026Updated last week
- An example of how you can use dat in the browser☆13Feb 19, 2019Updated 7 years ago
- Toolkitty is a coordination app for collectives, organisers and venues. You can organise events, share resources and spaces in a collabor…☆64Sep 2, 2026Updated last month
- Autoshare dat links found in ssb posts☆21Mar 8, 2022Updated 4 years ago
- The CompCert formally-verified C compiler☆11Aug 24, 2026Updated last month
- Encoding and decoding for ARF strings☆16Mar 10, 2025Updated last year
- Allows for dynamic compile-time embedding of existing tests and examples in your Rust doc comments and markdown files☆27Feb 21, 2025Updated last year
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 4 years 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.
- Verify naive = datafrog-opt, in rust/polonius☆17Jun 26, 2025Updated last year
- A JavaScript implementation of the triangle tessellation algorithm from the OpenGL specification for tessellation shaders.☆17Jul 11, 2023Updated 3 years ago
- Typst IDE☆17Jan 7, 2026Updated 9 months ago
- DWeb Backend for the Save app based on Veilid and Iroh☆26Jun 29, 2026Updated 3 months ago
- PDF library in Rust☆40Mar 6, 2026Updated 7 months ago
- Compositional Verification of Composite Byzantine Protocols☆13Aug 24, 2024Updated 2 years ago
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 4 years ago
- A Rust implementation of the Lean kernel☆10Jan 2, 2023Updated 3 years ago
- ☆12Jul 1, 2017Updated 9 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Verify Cairo contracts in Lean 4☆21May 22, 2025Updated last year
- regexes for trees; grep for s-exprs☆18Jul 22, 2026Updated 2 months ago
- Propositional logic with types in Rust☆65Aug 1, 2023Updated 3 years ago
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆15Dec 11, 2024Updated last year
- ☆10Apr 19, 2024Updated 2 years ago
- Mental model for unsafe in Rust☆18Feb 10, 2025Updated last year
- Low-level bindings to WebGPU☆16Aug 4, 2023Updated 3 years ago