OpenBSD APIs ported to Linux userspace using SECCOMP BPF and Landlock LSM
☆128Nov 8, 2023Updated 2 years ago
Alternatives and similar repositories for pledge
Users that are interested in pledge are comparing it to the libraries listed below
Sorting:
- OpenBSD unveil(2) like function in Linux using Landlock☆40Dec 22, 2025Updated 2 months ago
- Sandboxing for GNU Make has never been easier☆254Nov 2, 2022Updated 3 years ago
- ☆17Nov 2, 2025Updated 4 months ago
- Automatically remove unused imports and globals from Zig files.☆41Nov 26, 2025Updated 3 months ago
- A systems Lisp that compiles to C. Homoiconic macros, refcounted memory, Hindley-Milner type inference.☆34Feb 25, 2026Updated last week
- Portable OpenBSD userland utilities☆38Oct 4, 2022Updated 3 years ago
- Arcan Workbench, Desktop- like script for Arcan [INACTIVE]☆10Jul 1, 2017Updated 8 years ago
- SHA256 implemented in WASM☆13Jun 2, 2023Updated 2 years ago
- ☆13Aug 15, 2024Updated last year
- Advent of Code built with Redbean☆10Oct 27, 2023Updated 2 years ago
- ☆11Updated this week
- Bootstrapping LISP in a Boot Sector☆1,472Nov 27, 2024Updated last year
- [WIP] A pure-Zig TLS 1.3 client implementation.☆14Nov 2, 2022Updated 3 years ago
- Zig graphing library for graphs, and graph algos☆12Dec 19, 2021Updated 4 years ago
- A helper to use remote references from `flake.lock` in stable Nix.☆22Jun 19, 2025Updated 8 months ago
- Rootkit breaker - experimental Linux anti-rootkit tool based on kprobes☆12Sep 30, 2020Updated 5 years ago
- Lightweight BSD-style init tools☆33Feb 22, 2026Updated last week
- Musl-nscd is an implementation of the NSCD protocol, suitable for use with musl and with standard NSS modules☆51Feb 24, 2022Updated 4 years ago
- ☆12Jul 10, 2020Updated 5 years ago
- Native JACK support for Qubes OS (experimental)☆10Jul 22, 2017Updated 8 years ago
- SecretHandshake secure connections in C++, with Cap'n Proto support☆14Jan 11, 2026Updated last month
- Generate a stub for any C library for use with Cosmopolitan☆15Nov 28, 2025Updated 3 months ago
- zlib with the build system replaced by zig☆15Apr 17, 2024Updated last year
- PonyTown Client For Windows☆12Sep 19, 2016Updated 9 years ago
- ☆57Nov 1, 2022Updated 3 years ago
- An experiment at creating an translation library for use with Zig.☆16Dec 15, 2024Updated last year
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17May 29, 2022Updated 3 years ago
- Image viewer and organizer☆22Feb 25, 2026Updated last week
- wrap autotools configure scripts to build with Cosmopolitan Libc☆279Jan 29, 2026Updated last month
- Self-hosting C toolchain, from scratch☆36Feb 7, 2025Updated last year
- a small statically-linked linux system☆3,035Updated this week
- Experiment on how to bootstrap the OCaml compiler☆112Apr 16, 2022Updated 3 years ago
- The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proof…☆49Feb 4, 2026Updated last month
- Really Weird Shell - shell based around Structral Regular Expressions - mirror repo☆15Aug 2, 2019Updated 6 years ago
- Notepad++ plugin for viewing and editing very large files.☆17Sep 16, 2024Updated last year
- Script for backing up snapper and DeNotebak snapshots☆18Nov 28, 2025Updated 3 months ago
- LXC/LXD/Incus Simplestreams Tree Builder☆19Apr 19, 2024Updated last year
- Python interface to the Landlock Linux Security Module☆25Updated this week
- Tiny Zig package for writing microbenchmarks☆18Oct 30, 2025Updated 4 months ago