Deterministic guardrails that don't break agents

Specula: An agentic tool for finding deep bugs in system code using TLA+

Easy web analytics. No tracking of personal data.

LeanInteract: A Python Interface for Lean 4

Lean Standard Library

Build native Android and iOS apps in Python.

Build interactive web apps with Python running directly in the browser.

An agent skill for creating and refining SVG logos through guided exploration and iteration.

Your Computer. Anywhere.

VoiceStudio is the open-source, fully-local ElevenLabs alternative — voice cloning, voice design, video dubbing, dictation, transcription & audiobook creation in 646 languages.

Cloud programming for Lean

Understand, analyze, and govern software systems across repositories, languages, and technologies.

Go Concurrency Distilled mini-book

Verifying concurrent storage and distributed systems

Lean 4 port of Iris, a higher-order concurrent separation logic framework

User-friendly AI Interface (Supports Ollama, OpenAI API, ...)

Unified Schema-Based Information Extraction

A statically typed Lisp for configuration and data, written in Rust.

Open-source image editor focused on PSD compatibility and workflows familiar to Adobe Photoshop users.

Split any YouTube song into stems

Let AI agents use your real, logged-in browser without interrupting your work. CLI + extension for browser automation across any shell-capable AI agent.

Open-source LLM knowledge platform: turn raw documents into a queryable RAG, an autonomous reasoning agent, and a self-maintaining Wiki.

Expose a Prolog knowledge base over HTTP/JSON API, with an OpenAPI description.

Create your software architecture models and diagrams in Go.

Declare the infrastructure

Ever® Gauzy™ - Open Business Management Platform (ERP/CRM/HRM/ATS/PM) - https://gauzy.co