Systems Programming in Rust
☆23Mar 17, 2016Updated 10 years ago
Alternatives and similar repositories for rust-systems-programming
Users that are interested in rust-systems-programming are comparing it to the libraries listed below
Sorting:
- Take your first step in writing a compiler. Implemented in Rust.☆16Apr 17, 2023Updated 2 years ago
- Examples and Exercises in Rust from "Advanced Programming in the UNIX Environment"☆21May 2, 2017Updated 8 years ago
- Unix terminal drain and formatter for slog-rs☆18Aug 21, 2025Updated 6 months ago
- ☆14Jun 16, 2021Updated 4 years ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- A drop-in replacement for Rust's std::BufReader, with extra features☆40Jan 30, 2023Updated 3 years ago
- ☆12Jan 25, 2022Updated 4 years ago
- A [not-really-working] compiler from the ground-up☆11Feb 21, 2018Updated 8 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 2 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 5 months ago
- ☆21Mar 13, 2017Updated 9 years ago
- Fast, simple autocompletion.☆13Sep 23, 2022Updated 3 years ago
- ☆20Jun 29, 2022Updated 3 years ago
- GTK/Rust based viewer for the Mandelbrot set☆15Feb 20, 2026Updated last month
- Template for a (PhD) thesis☆12Nov 5, 2025Updated 4 months ago
- Examples of usage for Mellanox HW offloads☆17Jan 18, 2022Updated 4 years ago
- https://jgrillo.github.io/forecast-rs -- Rust client library for the Dark Sky API☆14Apr 11, 2020Updated 5 years ago
- ↔️ A text truncation utility for your window manager, written in Rust.☆14Dec 9, 2016Updated 9 years ago
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.☆16Dec 10, 2019Updated 6 years ago
- Selected Topics in Computer Networks @ Johns Hopkins University☆19Dec 17, 2020Updated 5 years ago
- A tool to help with repetitive commands during development☆14Jun 8, 2022Updated 3 years ago
- nushell config☆15Jul 29, 2023Updated 2 years ago
- An agda2hs-compatible library for well-scoped syntax☆11Nov 6, 2025Updated 4 months ago
- 🦀 A nimble snippet manager☆15Mar 11, 2021Updated 5 years ago
- A collection of mechanised proofs☆19Feb 4, 2020Updated 6 years ago
- Emacs configuration☆23Mar 25, 2020Updated 5 years ago
- A Stream yielding inotify events, to be run on the tokio framework.☆22Jun 13, 2019Updated 6 years ago
- 🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory☆22Nov 20, 2025Updated 4 months ago
- ☆12Mar 8, 2026Updated last week
- Github timeline in Common Lisp☆15Aug 2, 2021Updated 4 years ago
- Platform agnostic Rust driver for the Sensirion SHTCx temperature/humidity sensors.☆15May 13, 2024Updated last year
- ☆17Oct 17, 2025Updated 5 months ago
- 🦄 Implementing Redux with Polymer.☆16Apr 6, 2017Updated 8 years ago
- My little personal website☆16Aug 18, 2024Updated last year
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆15Feb 26, 2024Updated 2 years ago
- Common Lisp library for encoding and decoding RFC 4251 compliant data☆13Jul 10, 2023Updated 2 years ago
- Rust bindings for RDMA fundamental libraries: libibverbs-dev and librdmacm-dev☆49Sep 17, 2023Updated 2 years ago
- learn-P4-by-examples: P4 examples with Chinese documents.☆14Oct 25, 2019Updated 6 years ago
- Mu: Microsecond Consensus for Microsecond Applications☆42Oct 12, 2020Updated 5 years ago