Bitwarden infrastructure/backend (API, database, Docker, etc).

MiMo Code: Where Models and Agents Co-Evolve

AI Orchestration Framework

Computable elliptic-curve abstractions for Lean 4

Implementation of the Zcash Orchard Protocol

Rust language proof-carrying data framework

Skills for threat modeling, scanning, triage, patching, plus an autonomous scanning harness you can /customize

Simplicity is a blockchain programming language designed as an alternative to Bitcoin script.

Decorator-based property validation for classes.

tmux source code

A native TypeScript compiler written in Rust. Compiles TypeScript directly to executables using SWC and LLVM.

A Bonsai_term application for interactively viewing strace output

🌳 Generate a fresh bonsai in your terminal

Curated Web3 security learning hub for smart contract auditors and protocol teams: roadmaps, audit tools, public reports, fuzzing, formal verification, AI-assisted workflows, offchain security, inc…

AI coding agent optimized for small LLMs. 87% benchmark with 4B-active model.

A declarative LLM friendly language that compiles system descriptions into complete, runnable Node.js backends.

Trying to import lean functions into Rocq and and then proving properties about them.

Fixed size 256-bit math library

rbuilder is a blazingly fast, state of the art Ethereum MEV-Boost block builder written in Rust

Minimal coding agent written in Rust, optimized for memory footprint and performance

The financial transactions database designed for mission critical safety and performance.

The Web Security Testing Guide is a comprehensive Open Source guide to testing the security of web applications and web services.

Almost Clojure written in Go.

A CLI tool to switch and manage Codex accounts

holproject.toml based builds for hol4

Bounds on divsteps iterations in safegcd

Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.