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, 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

A project around statusline.rs

CCNotify provides desktop notifications for Claude Code, alerting you when Claude needs your input or completes tasks.

Codex Mcp Server

A curated list of awesome commands, files, and workflows for Claude Code

Native speech-to-text for Arch / Omarchy - Fast, accurate and easy system-wide dictation

A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox

Rust-language assets for Zcash

Kimi CLI is your next CLI agent.

Kani Rust Verifier

The filesystem for agents.

A fully-featured javascript/typescript library for interacting with the Zcash network from the browser