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
Sorting:
- ☆53Updated this week
- Simple snippet provider for espanso.☆15Feb 10, 2026Updated last month
- 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
- A simple intermediate language for generating EVM bytecode.☆13Oct 17, 2024Updated last year
- Toolkitty is a coordination app for collectives, organisers and venues. You can organise events, share resources and spaces in a collabor…☆55Aug 11, 2025Updated 7 months ago
- Exploring awesome PL papers in redex☆20Mar 25, 2022Updated 3 years ago
- resilient location sharing☆14Sep 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
- Deserialization library with focus on error handling☆50Sep 23, 2025Updated 5 months ago
- An Agda library for programming with ternary relations☆18Apr 9, 2025Updated 11 months ago
- Verify naive = datafrog-opt, in rust/polonius☆15Jun 26, 2025Updated 8 months ago
- Platform for creating audio-first AI assistants that can work offline using a flexible plugin architecture☆13Jun 29, 2025Updated 8 months ago
- Utility methods related to public key cryptography to be used with distributed mutable storage☆15May 13, 2020Updated 5 years ago
- A memory efficient syntax tree for language developers☆65Dec 27, 2025Updated 2 months ago
- Push-based streams for Effect-ts☆16Apr 9, 2023Updated 2 years ago
- Dynamic structured values for Rust☆30Nov 20, 2025Updated 4 months ago
- Encoding and decoding for ARF strings☆15Mar 10, 2025Updated last year
- Autoshare dat links found in ssb posts☆21Mar 8, 2022Updated 4 years ago
- An example of how you can use dat in the browser☆13Feb 19, 2019Updated 7 years ago
- The CompCert formally-verified C compiler☆11Updated this week
- Schnorr Signature algorithm usiing BLS12-381 Curve☆13Jan 10, 2024Updated 2 years ago
- 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 4 months ago
- PDF library in Rust☆40Mar 6, 2026Updated 2 weeks ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 3 years ago
- Gitops for some home automation workloads☆10Feb 25, 2026Updated 3 weeks ago
- ☆11Jul 1, 2017Updated 8 years ago
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 3 years ago
- An offline Rust thesaurus library.☆12Aug 13, 2022Updated 3 years ago
- A Rust implementation of the Lean kernel☆11Jan 2, 2023Updated 3 years ago
- A JavaScript implementation of the triangle tessellation algorithm from the OpenGL specification for tessellation shaders.☆16Jul 11, 2023Updated 2 years ago
- Compositional Verification of Composite Byzantine Protocols☆13Aug 24, 2024Updated last year
- regexes for trees; grep for s-exprs☆18Jun 10, 2024Updated last year
- Propositional logic with types in Rust☆65Aug 1, 2023Updated 2 years ago
- Wildcard matching☆211Mar 9, 2026Updated last week
- 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…☆18Mar 4, 2025Updated last year