Bramble
A secure local-first password manager for storing your credentials.
A secure local-first password manager for storing your credentials.
Open-source credential gateway that securely keeps secrets out of AI agents.
An OSINT tool that finds exposed files on domains.
An open source tool that blocks website trackers and protects your privacy online.

Prevent your browser from leaking your location when using a VPN.
A Lean4 Datalog DSL based on Google Zanzibar, designed for AI projects.

An AI model post-trained to perform penetration testing instead of refusing requests.

A platform for competitive optimization of formally verified zero knowledge circuits.
Scan your AI agents for dangerous capabilities and security risks.
Open source tamper evident runtime evidence for AI agents.
A lightweight secrets manager built in Rust.
A lightweight Linux sandbox written in C99 with zero dependencies.
A macOS data protection keychain library for Electron applications.

Offline verification tool for computational claims and software systems.

A security scanner designed to find exposed AWS credentials in Terraform state files.
A modern and memory-safe SSH server written in Rust.
Comprehensive authentication and authorization framework for TypeScript applications.
A CLI tool that helps AI agents avoid vulnerable software dependencies.
A tool to help people remove their personal information from the Tea App.
Paste a Git diff and get a production risk score in ten seconds.

A graphical user interface for managing Apple Containers on macOS.
A Bun-like all-in-one toolkit for Node.js applications.

A faster alternative to Notion built with Rust.
A CLI tool to find non exact code duplication using embedding models.

Manage release notes, user feedback, and uptime monitoring in one dashboard.
Create portable Linux binaries easily.

Reproduce production bugs on your laptop without a database.

A systems programming language featuring built-in Z3 theorem proving within the compiler.
A pure ARM64 Assembly web server with Linux CGI support.
Documentation system that automatically checks for staleness.
Publish Markdown and HTML reports directly to Cloudflare Pages.
An online editor to create and edit Mermaid diagrams easily.

Open source game engine for 2D and 3D game development.
Use pure Python as a systems language with ahead of time compilation.
Lightweight control panel for managing servers, apps and databases.
Package and run PostgreSQL extensions as stackable Docker layers.
AI driven testing tool to automate and streamline software testing processes.
An open format, agent skill, and CLI tool to ensure code quality.
A browser extension that generates AI-powered resilient selectors.
Interactive and animated architecture visualizations for any Hugging Face models.
Learn Linux and Git commands through mind maps, quizzes, typing games, and cheatsheets.
A local debugger for AI agent traces to help developers inspect and fix agent behavior.
Serve HTML files directly from your Google Drive.
A task runner that aims to be simpler and easier to use than GNU Make.

An open source publishing engine for the Open Knowledge Format.
Unobin compiles Infrastructure as Code into a single standalone binary.

An IDE for Abaqus subroutines featuring analytical tests and AI diagnosis.

An open-source QA agent that reads your codebase before executing browser tests.