A collection of CC-BY-SA course material to teach the Rust programming language, in different formats, levels, and focus points. Contact me for remote and on-site trainings!
☆17Feb 16, 2023Updated 3 years ago
Alternatives and similar repositories for learning-rust
Users that are interested in learning-rust are comparing it to the libraries listed below
Sorting:
- Simple monolithic kernel written in Rust for x86-64☆24Feb 28, 2025Updated last year
- Freely licensed training material for the Nix expression language and ecosystem. Contact me to book on-site and remote training sessions☆76Jan 31, 2023Updated 3 years ago
- HelixDB is a time-series oriented Key-Value store written in Rust.☆21Jan 5, 2025Updated last year
- Compatibility between VersionReq from semver and VersionSet from pubgrub☆12Jan 8, 2025Updated last year
- Simple EFI bootloader☆48Nov 19, 2025Updated 4 months ago
- ☆11Mar 25, 2019Updated 6 years ago
- create iterators from generators☆11Oct 27, 2023Updated 2 years ago
- A command-line tool for patching shell scripts inspired by resholve [maintainer=@figsoda]☆53May 16, 2024Updated last year
- Demo async runtime☆10Mar 7, 2022Updated 4 years ago
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- 🪗 Dynamic concurrency limits for controlling backpressure, inspired by TCP congestion control☆15Mar 8, 2026Updated last week
- ☆10Aug 16, 2022Updated 3 years ago
- Speed up secp256k1 with endomorphism☆14Dec 7, 2022Updated 3 years ago
- async time combinators☆25Nov 9, 2025Updated 4 months ago
- Workshop material on Rust iterators, pattern matching and creative coding☆12Sep 8, 2022Updated 3 years ago
- collect my writings , notes, etc.☆12Jun 12, 2020Updated 5 years ago
- Discord API client to power Discord API clients via the power of love, friendship, and HTTP 💖☆16Oct 8, 2022Updated 3 years ago
- Tool/library for manipulating and monitoring temporal logic specifications☆11Oct 31, 2023Updated 2 years ago
- Calendars for Rust project teams☆27Feb 25, 2026Updated 3 weeks ago
- Test repository for creating a websocket notification service with Skunk☆11May 13, 2020Updated 5 years ago
- An HTTP server packaged with postgresql, jaegar-all-in-one, and perf-test to record ad deliveries, clicks, and installs, and query the st…☆10Sep 16, 2021Updated 4 years ago
- Experiments in visualizing music theory☆14Oct 29, 2023Updated 2 years ago
- A collection of plug-and-play retry policies for Rust projects.☆18Jun 4, 2025Updated 9 months ago
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆21Jan 26, 2026Updated last month
- Generate mock data based on an Apache Avro schema and specific cardinality settings☆10Apr 16, 2018Updated 7 years ago
- ZK proofs for Brainfuck execution using powdr☆17Aug 28, 2024Updated last year
- pRuntime is the execution kernel running inside TEE enclave☆10May 26, 2020Updated 5 years ago
- Code for my workshop "Production-ready WebAssembly with Rust" presented at RustLab 2023 in Florence☆16Nov 23, 2023Updated 2 years ago
- A rust library to hide types inside a diplomatic bag which can be sent between threads freely☆16Jun 23, 2022Updated 3 years ago
- A Pointer Analysis Framework for Rust☆67Jun 17, 2025Updated 9 months ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆16Nov 3, 2024Updated last year
- ☆10May 28, 2022Updated 3 years ago
- ☆15Aug 19, 2024Updated last year
- Simple Windows GUI for GHCi.☆20Sep 29, 2015Updated 10 years ago
- Prune is a constraint logic programming language with branching heuristic.☆33Mar 6, 2026Updated 2 weeks ago
- WIP COSMIC PDF reader☆50Mar 9, 2026Updated last week
- A tool for synthesis of Rust code, very early prototype☆14Jan 9, 2024Updated 2 years ago
- Example using tide + mongodb☆23May 20, 2020Updated 5 years ago
- Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.☆22May 1, 2022Updated 3 years ago