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:
- Simple snippet provider for espanso.☆16May 18, 2026Updated last month
- resilient location sharing☆13Sep 23, 2021Updated 4 years ago
- A minimal Secure Scuttlebutt replication node.☆22Oct 14, 2024Updated last year
- 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☆15Dec 11, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Keep time in browser for audio applications☆13Apr 15, 2015Updated 11 years ago
- Verify naive = datafrog-opt, in rust/polonius☆16Jun 26, 2025Updated last year
- Platform for creating audio-first AI assistants that can work offline using a flexible plugin architecture☆13Jun 29, 2025Updated last year
- Utility methods related to public key cryptography to be used with distributed mutable storage☆15May 13, 2020Updated 6 years ago
- A memory efficient syntax tree for language developers☆65Dec 27, 2025Updated 6 months ago
- Push-based streams for Effect-ts☆16Apr 9, 2023Updated 3 years ago
- Dynamic structured values for Rust☆31May 2, 2026Updated last month
- A simple directed multigraph built on Hypertrie.☆14Feb 12, 2022Updated 4 years ago
- An example of how you can use dat in the browser☆13Feb 19, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Allows for dynamic compile-time embedding of existing tests and examples in your Rust doc comments and markdown files☆27Feb 21, 2025Updated last year
- RedisGraph Julia client☆12Oct 29, 2025Updated 8 months ago
- rust implementation of the DAT protocol☆19Jun 2, 2018Updated 8 years ago
- PDF library in Rust☆41Mar 6, 2026Updated 3 months ago
- ☆10Apr 19, 2024Updated 2 years ago
- ☆12Jul 1, 2017Updated 8 years ago
- An offline Rust thesaurus library.☆12Aug 13, 2022Updated 3 years ago
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 4 years ago
- A Rust implementation of the Lean kernel☆11Jan 2, 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.
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆24Feb 22, 2026Updated 4 months ago
- Compositional Verification of Composite Byzantine Protocols☆13Aug 24, 2024Updated last year
- regexes for trees; grep for s-exprs☆18Jun 10, 2024Updated 2 years ago
- Propositional logic with types in Rust☆65Aug 1, 2023Updated 2 years ago
- Wildcard matching☆216Apr 27, 2026Updated 2 months ago
- Low-level bindings to WebGPU☆15Aug 4, 2023Updated 2 years ago
- GPT: Rust Assistant. Your go-to expert in the Rust ecosystem, specializing in precise code interpretation, up-to-date crate version check…☆19Mar 4, 2025Updated last year
- Support for compiling C programs with Eyra☆15Oct 13, 2024Updated last year
- Scylla, a tool for translating ultra-regular C code to Safe Rust☆39Apr 7, 2026Updated 2 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A modern du replacement, with new features and a better output☆16Feb 3, 2023Updated 3 years ago
- ☆45Mar 18, 2025Updated last year
- ☆16Jul 24, 2024Updated last year
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆17Mar 26, 2026Updated 3 months ago
- ☆65Jun 21, 2026Updated last week
- Public discussions for Hypercore Protocol☆17May 12, 2020Updated 6 years ago
- Rocqet proof language☆30Aug 11, 2025Updated 10 months ago