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:
- Simple snippet provider for espanso.☆16May 18, 2026Updated 3 months ago
- Game competition server software for Rust gamedev community☆15Aug 24, 2019Updated 7 years ago
- A simple intermediate language for generating EVM bytecode.☆13Oct 17, 2024Updated last year
- RPC request router and proxy for Starknet, forked from Optimism proxyd.☆12Feb 26, 2024Updated 2 years ago
- Exploring awesome PL papers in redex☆20Mar 25, 2022Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Keep time in browser for audio applications☆13Apr 15, 2015Updated 11 years ago
- resilient location sharing☆13Sep 23, 2021Updated 4 years ago
- Write yourself a simply-typed lambda calculus using Rust in a week!☆13May 13, 2024Updated 2 years ago
- decentralised platform for sharing notes privately☆14May 13, 2026Updated 3 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
- A minimal Secure Scuttlebutt replication node.☆22Oct 14, 2024Updated last year
- ☆18Feb 24, 2025Updated last year
- Deserialization library with focus on error handling☆51Sep 23, 2025Updated 11 months 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.
- Platform for creating audio-first AI assistants that can work offline using a flexible plugin architecture☆13Jun 29, 2025Updated last year
- An Agda library for programming with ternary relations☆18Apr 9, 2025Updated last year
- Web authentication for Rust.☆15Aug 24, 2026Updated last week
- A memory efficient syntax tree for language developers☆63Dec 27, 2025Updated 8 months ago
- Dynamic structured values for Rust☆32Jul 30, 2026Updated last month
- A simple directed multigraph built on Hypertrie.☆14Feb 12, 2022Updated 4 years ago
- ☆13Aug 13, 2023Updated 3 years ago
- erlang prototype of scuttlebutt protocol☆28Updated this week
- An example of how you can use dat in the browser☆13Feb 19, 2019Updated 7 years ago
- 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.
- Toolkitty is a coordination app for collectives, organisers and venues. You can organise events, share resources and spaces in a collabor…☆64Aug 11, 2025Updated last year
- Encoding and decoding for ARF strings☆16Mar 10, 2025Updated last year
- Schnorr Signature algorithm usiing BLS12-381 Curve☆13Jan 10, 2024Updated 2 years ago
- Typst IDE☆17Jan 7, 2026Updated 7 months ago
- PDF library in Rust☆41Mar 6, 2026Updated 5 months ago
- Grokking on modular arithmetic in less than 150 epochs in MLX☆15Oct 24, 2024Updated last year
- 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
- ☆12Apr 21, 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.
- An offline Rust thesaurus library.☆12Aug 13, 2022Updated 4 years ago
- About Telescope extension wrapper around `:changes`☆11Jun 28, 2023Updated 3 years ago
- Gitops for some home automation workloads☆10Jul 2, 2026Updated last month
- regexes for trees; grep for s-exprs☆18Jul 22, 2026Updated last month
- Propositional logic with types in Rust☆65Aug 1, 2023Updated 3 years ago
- ☆10Apr 19, 2024Updated 2 years ago
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆15Dec 11, 2024Updated last year