Sources to the Master's thesis: Safe Kernel Programming with Rust
☆56Jul 31, 2018Updated 7 years ago
Alternatives and similar repositories for rustkpi
Users that are interested in rustkpi are comparing it to the libraries listed below
Sorting:
- ☆61Jun 10, 2025Updated 8 months ago
- TCP Testsuite for FreeBSD based on Packetdrill☆21Dec 1, 2025Updated 3 months ago
- EDK II☆18May 14, 2020Updated 5 years ago
- Terraform template for a FreeBSD poudriere build machine☆11Apr 1, 2018Updated 7 years ago
- FreeBSD src tree (read-only mirror)☆12Jan 14, 2019Updated 7 years ago
- Rust RCTL / RACCT bindings☆11Jan 23, 2026Updated last month
- [NeurIPS'22] Learning to Configure Computer Networks with Neural Algorithmic Reasoning☆11Oct 18, 2022Updated 3 years ago
- AMQP input/output cli tool☆15Mar 26, 2019Updated 6 years ago
- A simple Rust crate to drop privileges☆36Updated this week
- Your happy place for learning APL☆15Jan 5, 2023Updated 3 years ago
- WIP drm drivers for FreeBSD☆17Nov 16, 2022Updated 3 years ago
- Various scripts to create images using systemd nspawn☆13Apr 26, 2017Updated 8 years ago
- Asynchronous name resolution utilities for the futures and tokio-core crates.☆19Nov 10, 2019Updated 6 years ago
- Rust library for requesting certificates from an ACME provider☆19Oct 5, 2024Updated last year
- FreeBSD quarterly reports☆59Feb 16, 2023Updated 3 years ago
- Generate HTML for Twitter Card integration.☆21Aug 9, 2020Updated 5 years ago
- Better living through BSD☆18Oct 27, 2020Updated 5 years ago
- Silly terminal clipboard☆16Nov 30, 2015Updated 10 years ago
- Package jail provides native FreeBSD Jail syscalls in Go☆59Feb 8, 2026Updated 3 weeks ago
- ZFS on FreeBSD - the official out of tree OpenZFS implementation for FreeBSD☆98Jul 14, 2021Updated 4 years ago
- Syntax highlighting the Perl debugger☆33Nov 21, 2015Updated 10 years ago
- STDSHOUT!!!1!☆29May 24, 2019Updated 6 years ago
- Solana Airdrop Faucet: A simple web application that allows users to receive free SOL tokens on the Solana Devnet. Built with Next.js, th…☆11Sep 22, 2024Updated last year
- Redports is a continuous integration platform for FreeBSD ports.☆24Mar 13, 2017Updated 8 years ago
- The FreeBSD Foundation's Laptop Support and Usability Improvements project aims to deliver a package of improved or new FreeBSD functiona…☆253Feb 17, 2026Updated 2 weeks ago
- FreeBSD kernel debugging scripts☆27Feb 26, 2025Updated last year
- Standard Jane Street ppx rewriters☆37Jan 15, 2026Updated last month
- Flood Mapping Intercomparison☆16Nov 5, 2025Updated 4 months ago
- BSD-licensed 9P2000.u/.L server library☆34Jul 19, 2023Updated 2 years ago
- MLB Deserve-to-Win Simulator☆11Updated this week
- A tracing tool to analyze the I/O behavior of a program.☆12Sep 25, 2019Updated 6 years ago
- Chaucha functions for usage with Github Actions☆11Sep 18, 2020Updated 5 years ago
- An Arduino based, Kenwood DG5 emulator for the TS-520S☆10May 10, 2025Updated 9 months ago
- A D4M module for Julia. D4M was developed in MATLAB by Dr Jeremy Kepner.☆12Sep 10, 2019Updated 6 years ago
- Migration tool for replacing await! macro with await syntax.☆40Jan 1, 2021Updated 5 years ago
- ☆22Jun 4, 2025Updated 9 months ago
- PARADIS, a lightweight and flexible weather forecast model that tries to Keep It Simple.☆26Feb 4, 2026Updated last month
- Generate a unique character string suitible for use in files and URLs.☆36Feb 26, 2026Updated last week
- PostgreSQL OMM for rust☆37Jan 20, 2026Updated last month