Skip to content
View arianvp's full-sized avatar

Sponsors

@Ocramius
@LunNova
@JonathanLorimer

Sponsoring

@lestrrat
@woodruffw
@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

Full typing for Nix based on TypeScript

Go 277 1 Updated Mar 12, 2026

gerrit style tui patchset diff viewer for github / bitbucket using jj

Rust 30 1 Updated Mar 17, 2026

Simple xDS server for Kubernetes

Go 149 16 Updated Dec 8, 2025

A horizontally scalable Direct Server Return layer 4 load balancer for Linux using XDP/eBPF

Go 120 11 Updated Aug 1, 2025

A concurrent async test framework using Python's asyncio

Python 14 1 Updated Mar 19, 2026

TPM Carte Blanche-Resistant Boot Attestation

Go 1 Updated Oct 24, 2021

A WebAuthn/U2F token protected by a TPM (Go/Linux)

Go 8 4 Updated Jan 14, 2026

jjui is a TUI designed for interacting with the Jujutsu version control system.

Go 1,730 84 Updated Mar 22, 2026

Session persistence for terminal processes

Zig 1,075 50 Updated Mar 20, 2026

Example policies demonstrating how to implement a data perimeter on AWS.

196 31 Updated Mar 19, 2026

Ultra-lightweight, zero dependency, semantic HTML, CSS, JS UI library. ~8KB min+gz.

CSS 4,446 212 Updated Mar 21, 2026

A Binary Ninja plugin containing an MCP server that enables seamless integration with your favorite LLM/MCP client.

Python 273 61 Updated Mar 22, 2026

Jujutsu (jj) VCS support for VS Code

TypeScript 324 28 Updated Mar 21, 2026

Simple Network Relay provides a lightweight implementation of a relay server, intended for learning and experiments.

Go 8 1 Updated Dec 19, 2025

AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods

TypeScript 26,960 2,859 Updated Mar 22, 2026

Automated developer-oriented status page with alerting and incident support

Go 10,470 689 Updated Mar 22, 2026

Algorithmic Information Theory, using Binary Lambda Calculus

Haskell 199 18 Updated Mar 14, 2026

slog: Handler for systemd journal

Go 20 5 Updated Mar 9, 2026

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 Mar 18, 2026

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

Starlark 9 Updated May 22, 2023

A structured concurrency library

Haskell 88 4 Updated Feb 23, 2026

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

Go 16,505 1,817 Updated Mar 12, 2026

Octoscan is a static vulnerability scanner for GitHub action workflows.

Go 249 19 Updated Dec 8, 2025

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

Go 387 80 Updated Feb 23, 2026

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

Rust 9 2 Updated Mar 13, 2026

PKI support for SSH certificates

Go 64 4 Updated Sep 30, 2021

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

Python 80,521 6,830 Updated Mar 20, 2026

OpenBSD unveil(2) like function in Linux using Landlock

C 41 2 Updated Dec 22, 2025

A Go library for the Linux Landlock sandboxing feature

Go 289 17 Updated Feb 15, 2026
Next