Sources to the Master's thesis: Safe Kernel Programming with Rust
☆56Jul 31, 2018Updated 8 years ago
Alternatives and similar repositories for rustkpi
Users that are interested in rustkpi are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆62Jun 10, 2025Updated last year
- WIP drm drivers for FreeBSD☆17Nov 16, 2022Updated 3 years ago
- TCP Testsuite for FreeBSD based on Packetdrill☆22May 3, 2026Updated 3 months ago
- Notes from meetings of various FreeBSD-related groups.☆35Feb 6, 2026Updated 6 months ago
- FreeBSD src tree (read-only mirror)☆12Jan 14, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- AMQP input/output cli tool☆15Mar 26, 2019Updated 7 years ago
- EDK II☆20May 14, 2020Updated 6 years ago
- FreeBSD kernel module in Rust☆67Jun 9, 2017Updated 9 years ago
- ☆15Nov 22, 2023Updated 2 years ago
- Terraform template for a FreeBSD poudriere build machine☆11Apr 1, 2018Updated 8 years ago
- The FreeBSD Community Proposal Repository☆27Aug 28, 2019Updated 6 years ago
- ☆14Feb 3, 2026Updated 6 months ago
- Bhyve Management Daemon☆20Aug 9, 2026Updated last week
- Package jail provides native FreeBSD Jail syscalls in Go☆61Feb 8, 2026Updated 6 months 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.
- ☆16Aug 2, 2026Updated 2 weeks ago
- FreeBSD kernel debugging scripts☆28Feb 26, 2025Updated last year
- NetBSD Google Summer of Code 2011 project (#2)☆36Feb 28, 2018Updated 8 years ago
- FreeBSD quarterly reports☆60Feb 16, 2023Updated 3 years ago
- Display ZFS datasets' I/O in real time☆95Jul 13, 2026Updated last month
- BSD-licensed 9P2000.u/.L server library☆34Jul 19, 2023Updated 3 years ago
- libudev-compatible interface for devd☆12Apr 5, 2021Updated 5 years ago
- ☆88Jan 10, 2024Updated 2 years ago
- Compute differences using the McIlroy-Hunt LCS algorithm☆14May 31, 2011Updated 15 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.
- xnu-3789.70.16☆41Sep 7, 2017Updated 8 years ago
- A Modelica library for simulation of recirculating aquaculture systems☆18Feb 18, 2019Updated 7 years ago
- awesome-unikernels☆15May 21, 2015Updated 11 years ago
- A launchd(8) port for non-Darwin systems☆266Oct 31, 2014Updated 11 years ago
- Translations for programming puzzle game Robo Instructus☆11Nov 30, 2025Updated 8 months ago
- ☆12Jun 2, 2019Updated 7 years ago
- Restoring a lesser-known Unix System V Release 4/i386 distribution from the early 90s☆16Dec 12, 2024Updated last year
- Execute Deno Scripts from the browser☆10Jan 7, 2023Updated 3 years ago
- A simplified Rust interface to the sysctl system call☆56Apr 16, 2026Updated 4 months 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.
- Various Unix things for NeXT platforms.☆14Feb 19, 2023Updated 3 years ago
- Simple MIPS32 Emulator (primarily used to run SmallerC compiled for MIPS)☆18Oct 31, 2015Updated 10 years ago
- NCT5104D GPIO Linux Driver☆13Jan 5, 2024Updated 2 years ago
- Bevy AssetIO plugin that can load assets from optionally obfuscated zip files☆16Feb 4, 2021Updated 5 years ago
- Windows editor for the Emu Morpheus and UltraProteus synthesisers☆10Nov 26, 2019Updated 6 years ago
- Set Content-Type mime-type automatically from the magic bytes of some file! (Similar to file(1))☆14Nov 21, 2021Updated 4 years ago
- Ansible playbook for creating FreeBSD Ports Tree test environment using Poudriere☆11Oct 25, 2017Updated 8 years ago