Skip to content
View arianvp's full-sized avatar

Sponsors

@Ocramius
@LunNova
@JonathanLorimer

Sponsoring

@lestrrat
@razzeee
@vrom911
@utmapp
@winterqt

Organizations

@NixOS @haskell-servant @hex-sh @dhall-lang @nix-community @DevOps-Utrecht

Block or report arianvp

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Automated developer-oriented status page with alerting and incident support

Go 9,588 634 Updated Jan 9, 2026

Algorithmic Information Theory, using Binary Lambda Calculus

Haskell 195 16 Updated Dec 25, 2025

slog: Handler for systemd journal

Go 17 3 Updated Dec 15, 2025

seccomp-BPF filtering and pledge/unveil sandboxing for Linux

Rust 11 5 Updated Feb 22, 2023

A place for new transparency projects to be developed before being disbanded or finding their forever homes

Go 3 4 Updated Dec 15, 2025

Deterministic container hashes and container signing using Cosign, Bazel and Google Cloud Build

Starlark 9 Updated May 22, 2023

A structured concurrency library

Haskell 86 4 Updated Mar 2, 2025

Simple and easy to use DDNS. Support Aliyun, Tencent Cloud, Dnspod, Cloudflare, Callback, Huawei Cloud, Baidu Cloud, Porkbun, GoDaddy, Namecheap, NameSilo...

Go 16,021 1,783 Updated Dec 27, 2025

Octoscan is a static vulnerability scanner for GitHub action workflows.

Go 243 20 Updated Dec 8, 2025

ssh, sftp client running in the browser powered by golang and wasm

Go 344 75 Updated Aug 8, 2025

A pure Rust implementation of FIDO2/WebAuthn CTAP 2.0/2.1/2.2 protocol

Rust 5 Updated Dec 17, 2025

PKI support for SSH certificates

Go 64 4 Updated Sep 30, 2021

💫 Toolkit to help you get started with Spec-Driven Development

Python 61,232 5,325 Updated Dec 4, 2025

OpenBSD unveil(2) like function in Linux using Landlock

C 40 2 Updated Dec 22, 2025

A Go library for the Linux Landlock sandboxing feature

Go 263 15 Updated Dec 15, 2025

Sandboxing for GNU Make has never been easier

C++ 251 5 Updated Nov 2, 2022

eBPF-based Linux high-performance transparent proxy solution.

Go 5,000 307 Updated Nov 3, 2025

Internet-Draft: The Asynchronous Remote Key Generation (ARKG) algorithm

Makefile 12 6 Updated Oct 31, 2025

The account-utils package contains services, utilities and PAM modules, which allow authentication and account management on systems with the NoNewPrivs flag set (no setuid/setgid binaries)

C 21 3 Updated Dec 30, 2025

Git Credential Helper for Github Apps

Go 15 2 Updated Dec 20, 2025

A transparent monitoring wrapper for programs, for use in nix builds

Rust 1 Updated Oct 12, 2025

Runtime sandboxing for Nix

Nix 512 28 Updated Jan 1, 2026

Bear is a tool that generates a compilation database for clang tooling.

Rust 6,118 348 Updated Jan 3, 2026

A user-friendly method of sandboxing applications using bubblewrap with portals support.

Nix 163 7 Updated Dec 21, 2025

Source code for the pre-print of Attestable Builds

Jupyter Notebook 3 2 Updated Sep 2, 2025

Full-throttle, wire-speed hardware implementation of Wireguard VPN, using low-cost Artix7 FPGA with opensource toolchain. If you seek security and privacy, nothing is private in our codebase. Our d…

Verilog 1,291 31 Updated Jan 6, 2026

NitroTPM Attestation Samples

Nix 13 4 Updated Nov 30, 2025
HTML 5 2 Updated Jan 8, 2026
Next