Deployments of fancy cryptography

SVM program test harness

protecting your timeline from the egregore since 2026

[beta] Guardian Agent: secure ssh-agent forwarding for Mosh and SSH

A blazing fast Solana program framework.

A Visual Studio Code color theme inspired by the Bloomberg terminal.

Astrological CPU Scheduler

Spartan: High-speed zkSNARKs without trusted setup

Formalized Cryptography Proofs in Lean 4

A formally verified symbolic cryptography library for Lean

ElKowars wacky widgets

Xaric IRC client

plasTeX is a Python package that processes LaTeX documents into an XML-DOM-like object which can be used to generate various types of output.

plasTeX plugin to build formalization blueprints.

Iconic media player

Collection of fonts from SGI systems and tools for rendering them.

This project contains a complete proof of the isomorphism of the symmetry group of the 12-puzzle and the full symmetric group S_12.

A syntax-highlighting pager for git, diff, grep, rg --json, and blame output

Language for high-assurance and high-speed cryptography

AirPods liberated from Apple's ecosystem.

VSCode Remote Development: Open any folder on a remote machine using SSH.

A VS Code extension for managing working sets of open files.

An open-source framework for verifiably private AI inference

Libraries for finite field, elliptic curve, and polynomial arithmetic

Library for Polynomial System Solving through Algebraic Methods

LLM training in simple, raw C/CUDA