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:
- ☆62Jun 10, 2025Updated last year
- TCP Testsuite for FreeBSD based on Packetdrill☆22May 3, 2026Updated 2 months ago
- Better living through BSD☆18Oct 27, 2020Updated 5 years ago
- Notes from meetings of various FreeBSD-related groups.☆35Feb 6, 2026Updated 5 months ago
- FreeBSD src tree (read-only mirror)☆12Jan 14, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- AMQP input/output cli tool☆15Mar 26, 2019Updated 7 years ago
- Rust RCTL / RACCT bindings☆11Apr 22, 2026Updated 2 months ago
- EDK II☆20May 14, 2020Updated 6 years ago
- Terraform template for a FreeBSD poudriere build machine☆11Apr 1, 2018Updated 8 years ago
- BSD 2.11, as patched☆24Oct 20, 2021Updated 4 years ago
- Generate GH_TUPLE/GL_TUPLE from modules.txt☆16Nov 3, 2022Updated 3 years ago
- Rust library for requesting certificates from an ACME provider☆19Apr 28, 2026Updated 2 months ago
- A simple Rust crate to drop privileges☆38Mar 2, 2026Updated 4 months ago
- ☆14Feb 3, 2026Updated 5 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.
- Package jail provides native FreeBSD Jail syscalls in Go☆61Feb 8, 2026Updated 4 months ago
- Your happy place for learning APL☆15Jan 5, 2023Updated 3 years ago
- Visual Studio Code GDB Debug Adapter for C and C++ programs.☆14Aug 4, 2023Updated 2 years ago
- Various scripts to create images using systemd nspawn☆13Apr 26, 2017Updated 9 years ago
- FreeBSD kernel debugging scripts☆28Feb 26, 2025Updated last year
- Jail Environments tool☆13Dec 7, 2023Updated 2 years ago
- Indexing and querying layer for LMDB and flatbuffers☆20Sep 5, 2024Updated last year
- BSD-licensed 9P2000.u/.L server library☆34Jul 19, 2023Updated 2 years ago
- A Syn Attribute Parser Toolkit☆14Oct 15, 2024Updated last year
- 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.
- pkgng plugin for querying which package provides a particular file☆16Jun 9, 2026Updated 3 weeks ago
- Generate HTML for Twitter Card integration.☆21Aug 9, 2020Updated 5 years ago
- kernel module for FreeBSD that implements IPv6 Neighbor Discovery proxying over Ethernet-like access networks☆20Dec 22, 2023Updated 2 years ago
- Asynchronous name resolution utilities for the futures and tokio-core crates.☆19Nov 10, 2019Updated 6 years ago
- Compute differences using the McIlroy-Hunt LCS algorithm☆14May 31, 2011Updated 15 years ago
- Maintain a set of FreeBSD ports trees.☆26Jun 18, 2024Updated 2 years ago
- Matrix based audio synthesizer for Additive, Substractive and FM synthesis.☆13Feb 24, 2017Updated 9 years ago
- Precise hotword listener on Tract and Rust☆12Aug 6, 2022Updated 3 years ago
- A hyper based tower transport layer.☆20Oct 26, 2019Updated 6 years 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.
- awesome-unikernels☆15May 21, 2015Updated 11 years ago
- ZFS on FreeBSD - the official out of tree OpenZFS implementation for FreeBSD☆98Jul 14, 2021Updated 4 years ago
- Ansible playbook for creating FreeBSD Ports Tree test environment using Poudriere☆11Oct 25, 2017Updated 8 years ago
- A proc macro for creating compile-time checked CSS class sets, in the style of classNames☆17Jan 7, 2023Updated 3 years ago
- Simple MIPS32 Emulator (primarily used to run SmallerC compiled for MIPS)☆18Oct 31, 2015Updated 10 years ago
- font development, testing and release☆14Updated this week
- a go ios hello world project☆13Feb 3, 2015Updated 11 years ago