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:
- mcp-language-server gives MCP enabled clients access semantic tools like get definition, references, rename, and diagnostics.☆27Mar 1, 2026Updated 3 months ago
- ☆54May 31, 2026Updated last week
- Tile38 Shard Utility, the controller and query router for sharded clusters☆16May 16, 2026Updated 3 weeks ago
- Simple snippet provider for espanso.☆16May 18, 2026Updated 3 weeks ago
- A drop-in replacement of ssb-keys, implemented in Rust and delivered as a native module in Node.js☆13Dec 15, 2023Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Talk requests and proposals for https://www.meetup.com/MadRust/☆14Jun 7, 2024Updated 2 years ago
- ☆13Nov 19, 2024Updated last year
- In this project, we used 3 different metrics (Information Gain, Mutual Information, Chi Squared) to find important words and then we used…☆11Aug 7, 2018Updated 7 years ago
- itertools (and more-itertools) in the form of function call chaining (fluent interface)☆15Jan 27, 2025Updated last year
- A seeders only swarm☆18Feb 7, 2024Updated 2 years ago
- Rust-style enums for python☆15Oct 10, 2023Updated 2 years ago
- Multilayer Cache Manager supporting multiple In-momery & Redis configurations☆18Mar 20, 2025Updated last year
- a software testing platform to perform stress test on web of things☆11Dec 3, 2022Updated 3 years ago
- A minimal Secure Scuttlebutt replication node.☆22Oct 14, 2024Updated last year
- 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.
- ☆17Feb 24, 2025Updated last year
- DWeb Backend for the Save app based on Veilid and Iroh☆23May 31, 2026Updated last week
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆15Dec 11, 2024Updated last year
- An Agda library for programming with ternary relations☆18Apr 9, 2025Updated last year
- Deserialization library with focus on error handling☆51Sep 23, 2025Updated 8 months ago
- Verify naive = datafrog-opt, in rust/polonius☆16Jun 26, 2025Updated 11 months ago
- Platform for creating audio-first AI assistants that can work offline using a flexible plugin architecture☆13Jun 29, 2025Updated 11 months ago
- Utility methods related to public key cryptography to be used with distributed mutable storage☆15May 13, 2020Updated 6 years ago
- ⏳ Sands of Time modifies the system time for different processes whenever you want☆21Dec 5, 2018Updated 7 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.
- A memory efficient syntax tree for language developers☆65Dec 27, 2025Updated 5 months ago
- Push-based streams for Effect-ts☆16Apr 9, 2023Updated 3 years ago
- Dynamic structured values for Rust☆31May 2, 2026Updated last month
- erlang prototype of scuttlebutt protocol☆29Updated this week
- Verify Cairo contracts in Lean 4☆20May 22, 2025Updated last year
- A simple directed multigraph built on Hypertrie.☆14Feb 12, 2022Updated 4 years ago
- Encoding and decoding for ARF strings☆15Mar 10, 2025Updated last year
- Tag the safety properties of the Rust standard library.☆19Apr 24, 2026Updated last month
- An example of how you can use dat in the browser☆13Feb 19, 2019Updated 7 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.
- Community Detection in social networks using modularity measure optimization☆15Feb 27, 2017Updated 9 years ago
- The CompCert formally-verified C compiler☆11Updated this week
- RedisGraph Julia client☆12Oct 29, 2025Updated 7 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
- 🥛An easy-to-use E2E test framework written in javascript targeting microservices systems☆18Sep 16, 2018Updated 7 years ago