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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- WIP drm drivers for FreeBSD☆17Nov 16, 2022Updated 3 years ago
- ☆61Jun 10, 2025Updated 10 months ago
- TCP Testsuite for FreeBSD based on Packetdrill☆22Updated this week
- Better living through BSD☆18Oct 27, 2020Updated 5 years ago
- Notes from meetings of various FreeBSD-related groups.☆35Feb 6, 2026Updated 3 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Docker Machine driver for Bhyve☆32Dec 29, 2020Updated 5 years ago
- Rust RCTL / RACCT bindings☆11Apr 22, 2026Updated 2 weeks ago
- NetBSD Google Summer of Code 2011 project (#2)☆36Feb 28, 2018Updated 8 years ago
- EDK II☆20May 14, 2020Updated 5 years ago
- FreeBSD kernel module in Rust☆67Jun 9, 2017Updated 8 years ago
- The FreeBSD Community Proposal Repository☆27Aug 28, 2019Updated 6 years ago
- Generate GH_TUPLE/GL_TUPLE from modules.txt☆17Nov 3, 2022Updated 3 years ago
- Rust library for requesting certificates from an ACME provider☆19Apr 28, 2026Updated last week
- A simple Rust crate to drop privileges☆38Mar 2, 2026Updated 2 months ago
- 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.
- ☆14Feb 3, 2026Updated 3 months ago
- Package jail provides native FreeBSD Jail syscalls in Go☆61Feb 8, 2026Updated 2 months ago
- Creds is a library for managing user accounts on Linux, FreeBSD and OpenBSD.☆12Mar 20, 2024Updated 2 years ago
- Various scripts to create images using systemd nspawn☆13Apr 26, 2017Updated 9 years ago
- Jail Environments tool☆12Dec 7, 2023Updated 2 years ago
- BSD-licensed 9P2000.u/.L server library☆34Jul 19, 2023Updated 2 years ago
- A Syn Attribute Parser Toolkit☆14Oct 15, 2024Updated last year
- pkgng plugin for querying which package provides a particular file☆16Sep 28, 2024Updated last year
- Generate HTML for Twitter Card integration.☆21Aug 9, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- kernel module for FreeBSD that implements IPv6 Neighbor Discovery proxying over Ethernet-like access networks☆18Dec 22, 2023Updated 2 years ago
- Asynchronous name resolution utilities for the futures and tokio-core crates.☆19Nov 10, 2019Updated 6 years ago
- ☆86Jan 10, 2024Updated 2 years ago
- ☆16Updated this week
- libudev-compatible interface for devd☆12Apr 5, 2021Updated 5 years ago
- Maintain a set of FreeBSD ports trees.☆26Jun 18, 2024Updated last year
- Matrix based audio synthesizer for Additive, Substractive and FM synthesis.☆13Feb 24, 2017Updated 9 years ago
- Scripts to create a custom FreeBSD install ISO and a KVM image for use in SmartOS and Triton.☆12Jul 24, 2020Updated 5 years ago
- Precise hotword listener on Tract and Rust☆12Aug 6, 2022Updated 3 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.
- A Modelica library for simulation of recirculating aquaculture systems☆17Feb 18, 2019Updated 7 years ago
- A hyper based tower transport layer.☆20Oct 26, 2019Updated 6 years ago
- FreeBSD libsegfault☆73Oct 8, 2018Updated 7 years ago
- Android app allowing to track live timing of formula 1 sessions☆11Oct 22, 2022Updated 3 years ago
- 4.4BSD Lite Release 2: last and original Unix operating system source code from Berkeley☆12Sep 28, 2016Updated 9 years ago
- Restoring a lesser-known Unix System V Release 4/i386 distribution from the early 90s☆16Dec 12, 2024Updated last year
- A helper for testing output of a process in tests.☆25May 14, 2016Updated 9 years ago