Secure and fast microVMs for serverless computing.

🤖 Just a command runner

A Git-compatible VCS that is both simple and powerful

An incremental parsing system for programming tools

No Nonsense Neovim Client in Rust

An operating system designed for hosting containers

Fast and multi-platform Spotify client with native GUI

A Scalable, User-Friendly Source Control System.

You shouldn't ever lose your work if you're using Git

High-velocity, monorepo-scale workflow for Git

Answering the question nobody asked: what if you wanted to text your friends using only ARP?

Semi-automatic OSINT framework and package manager

A cryptographically verifiable code review system for the cargo (Rust) package manager.

libgit2 bindings for Rust

GUI for neovim, without any web bloat

A model checker for implementing distributed systems.

Manage your GnuPG keys with ease! 🔐

`ls` alternative with useful info and a splash of color 🎨

Secure multithreaded packet sniffer

Stream your reMarkable screen over SSH.

Independent verification of binary packages - Reproducible Builds

symbolic execution engine for Rust

A utility like pkg-audit for Arch Linux. Based on Arch Security Team data.

in-toto Attestation Framework

List of unsafe ed25519 signature libs

Tools for the reMarkable paper tablet

Rust libraries and tools for using and generating TUF repositories

Rust implementation of The Update Framework (TUF)

Open source toolkit created to enable easy adoption of software enclaves