☆293May 27, 2026Updated 3 weeks ago
Alternatives and similar repositories for rust-slides
Users that are interested in rust-slides are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Distributed Protocol Combinators☆14Apr 11, 2021Updated 5 years ago
- Basic TLA+ Examples☆15Feb 15, 2021Updated 5 years ago
- guarded interaction trees☆14Jul 4, 2025Updated 11 months ago
- A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+☆18May 8, 2020Updated 6 years ago
- ☆11May 12, 2026Updated last month
- 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.
- Some basic libraries for Coq.☆14Sep 9, 2025Updated 9 months ago
- Browser support for Lean using a monaco editor.☆16May 29, 2026Updated 2 weeks ago
- ☆20Oct 28, 2022Updated 3 years ago
- Rust Bindings and tools for the Intel® Simics® Simulator☆17Jun 11, 2026Updated last week
- A package for keeping your JSON encoders and decoders in sync.☆19Apr 14, 2024Updated 2 years ago
- GameMate: enhance your productivity and gaming experience☆17May 2, 2026Updated last month
- Advent of Code 2023 (Mojo)☆12Sep 30, 2024Updated last year
- A better atproto crate☆31Updated this week
- ☆69Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- LZMA / LZMA2 in native Rust☆41May 31, 2026Updated 2 weeks ago
- Deterministic executor + network sim for tokio-based systems.☆20May 18, 2026Updated last month
- Collection of KTX2 sample textures, for testing and debugging.☆20Mar 26, 2026Updated 2 months ago
- A type-safe GraphQL client for Gleam ✨☆19Dec 17, 2025Updated 6 months ago
- A repository of remark/rehype, Zod, Astro plugins and more☆24Jun 5, 2026Updated 2 weeks ago
- ☆15Jul 7, 2022Updated 3 years ago
- https://crates.io/crates/undname☆20Oct 7, 2024Updated last year
- A regex crate using Brzozowski derivatives.☆28Apr 24, 2025Updated last year
- A bunch of extra functionality for Hakyll-based sites.☆11Sep 30, 2015Updated 10 years ago
- 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.
- Naivechain port in Scala using Akka☆17Feb 9, 2018Updated 8 years ago
- Provides extensions for the zip crate☆25Mar 21, 2026Updated 2 months ago
- microKanren implementation from DLS '16☆14May 29, 2018Updated 8 years ago
- HAL: A Library for Homomorphic Authentication☆23Apr 3, 2017Updated 9 years ago
- An x64 assembly implementation of essential data structures and algorithms for DSA.☆18Jun 4, 2023Updated 3 years ago
- ☆13Feb 9, 2019Updated 7 years ago
- Python client library for the AT Protocol (Bluesky)☆17Oct 5, 2024Updated last year
- A stopwatch program for the terminal.☆15Mar 6, 2021Updated 5 years ago
- std::iter feature complete(-ish) lending iterator for Rustlang☆20May 31, 2026Updated 2 weeks ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Fork of LLVM for LTO pass plugins support.☆23Jun 28, 2025Updated 11 months ago
- The Library for Functional Programming in Rust☆15Mar 2, 2025Updated last year
- Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]☆26Nov 3, 2021Updated 4 years ago
- Introduction to Scientific Visualization with Blender course☆21Mar 13, 2026Updated 3 months ago
- WeChat SDK for Elixir☆12Nov 22, 2022Updated 3 years ago
- Trading signals processing solution that supports signals filtering and posting to broker or exchanges that are not integrated into your …☆10May 9, 2021Updated 5 years ago
- Simple and fast implementation of language tag normalization and validation☆29Updated this week