kernel normal form formatter
☆34Jun 6, 2026Updated 4 months ago
Alternatives and similar repositories for knfmt
Users that are interested in knfmt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Apr 4, 2023Updated 3 years ago
- Kurt's OpenBSD Ports Tools☆14Jan 1, 2024Updated 2 years ago
- Dis interpreter by Rob Pike☆13Sep 3, 2020Updated 6 years ago
- manage passwords☆19May 8, 2025Updated last year
- Simple little script to search for packages from a OpenBSD package repository☆13May 19, 2026Updated 5 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Convenient alternative to dd for writing images to SDCards☆15Feb 1, 2015Updated 11 years ago
- Use OpenBSD's vmd(8) as a Provider for vagrant - DO NOT USE yet☆11May 28, 2018Updated 8 years ago
- transparent proxy for HTTP and HTTPS/TLS connections☆12Sep 7, 2026Updated last month
- Python binding for OpenBSD plegde☆11Oct 26, 2023Updated 3 years ago
- OTP authentication for OpenBSD implementing RFC 6238 and RFC 4226.☆57Oct 3, 2020Updated 6 years ago
- OpenBSD serial, TCP/IP, and UDP "thing" proxy daemon.☆17Updated this week
- GitHub Actions for BSD.☆36Feb 11, 2025Updated last year
- OpenBSD SiteXX Utilities☆12Jun 15, 2020Updated 6 years ago
- Experimental implementation of a kvmclock-derived clocksource for Linux guests under OpenBSD's hypervisor☆27Dec 5, 2024Updated last year
- 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.
- An experimental WASM runtime for Plan 9.☆27Sep 26, 2023Updated 3 years ago
- OpenBSD cu(1) for Linux☆26Feb 25, 2023Updated 3 years ago
- a simple captive Portal using OpenBSD☆13Dec 10, 2012Updated 13 years ago
- ☆17Dec 31, 2022Updated 3 years ago
- Fork of AWS-OpenBSD with additional support for Azure.☆27Aug 20, 2018Updated 8 years ago
- Extended ssh-agent which supports git commit signing and yubikey signing over ssh☆18Apr 29, 2024Updated 2 years ago
- Default OpenBSD Web Server☆30Nov 11, 2020Updated 5 years ago
- C examples I've used for teaching undergraduates☆24Dec 6, 2023Updated 2 years ago
- change or display the stack size of an ELF binary☆23Jul 1, 2019Updated 7 years 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.
- A portable version of OpenBSD's privsep/sandboxed file(1) utility☆30Oct 31, 2024Updated 2 years ago
- configurable X11 status bar for OpenBSD (and xstatbar successor)☆50Dec 7, 2024Updated last year
- Database of games that run on OpenBSD☆26Updated this week
- Rust mg☆10Sep 19, 2019Updated 7 years ago
- Very simple (and *fast*) tool to check for OpenBSD package updates☆15Aug 8, 2023Updated 3 years ago
- MQTT subscribe to mutliple servers / topics simultaneously☆21Feb 11, 2020Updated 6 years ago
- Unix userland implemented in pure Go, texutils, pipes, exec handlers, shell colon parsing.☆20Feb 15, 2023Updated 3 years ago
- A packer plugin for OpenBSD's vmm☆12Nov 15, 2018Updated 7 years ago
- A convenience library to aid in porting code from OpenBSD.☆12Dec 2, 2016Updated 9 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.
- An independent reimplementation of password-store, using `age` rather than PGP. NOTE: This isn't the passage project based on password-st…☆11Jul 3, 2020Updated 6 years ago
- OpenBSD/arm64 on PINE64 RockPro64☆31Aug 10, 2018Updated 8 years ago
- do not use this, needs major rework | libre linux from scratch book utilizing musl libc, libressl, sysvinit and partially busybox.☆12Aug 5, 2024Updated 2 years ago
- Minimal PID 1 for initramfs☆19Jan 16, 2025Updated last year
- Repository for my Hypothesis training course☆11Sep 30, 2016Updated 10 years ago
- String together QEMU VMs with UDP sockets using graphviz(7), mustache(1) and duct tape☆16Jul 1, 2026Updated 4 months ago
- ☆15Oct 17, 2018Updated 8 years ago