A systems programming language where a function's signature tells you what it does

spivak-lean

Michael Spivak's Calculus formalized in Lean 4: every theorem and every problem of all 30 chapters and 9 appendices, in both the 3rd and 4th editions - stormj-UH/spivak-…

reladraw

A diagram language that describes relative placement in text without coordinates

A tool for people and agents who want to manage the relative positions of elements in text, instead of leaving the desired arrangement to automatic layout or adjusting pixel coordinates.

tenjin-agent

A router for Claude Code that finds and pays for research, data, and tools.

jevlang

An experimental Python preprocessor that delegates conditional decisions to Jev

A source preprocessing tool that lets Python developers try running if, elif, while, and match conditions according to decisions from a Jev backend instead of ordinary Python expressions.

Recurse

A serverless runtime for designing, testing, and deploying specialized agents that pass validation criteria

A platform for developers building specialized agents for tasks that general purpose agents struggle to solve. Define input and output contracts and allowed tools, measure candidates repeatedly, and deploy them as tools, MCP servers, or bots.

gutcheck

grep for meaning: filter, score and classify lines with a plain-English question.

tlx

Encrypted messaging you can actually understand.

organic_os

A biological simulation engine that manages virtual cells with Rust's asynchronous actor model.

A Rust project for developers exploring asynchronous system architecture or virtual cell simulations, using an actor model and a WebAssembly sandbox.

ctxfw

High-assurance in-memory Tree-Sitter AST context firewall and pruning MCP server for coding agents (-72.4% token mass).

xtriever

An offline RAG search engine for searching on phones and laptops without a server.

A Rust engine for RAG developers who need to search document indexes on a device, enabling hybrid search on iPhone, Android phones, and laptops without a network connection.

aidash

A free Mac app for managing Claude Code and Codex sessions on 1 screen

Mac users running multiple coding agent sessions can view Claude Code and Codex progress in 1 place, handle sessions that need a response, and organize their work history.

paper-docx

A python-docx fork that prevents document damage by rejecting unsupported DOCX edits

A tool that adds guarded inspection and editing features to a python-docx compatible API so agents and Python developers can create and edit Word documents safely.

aslmp

An async SLMP client for Mitsubishi MELSEC PLCs.

autormf-ml-lab

Open-source contrastive embedding stack for mapping technical CVE disclosures to cybersecurity compliance controls (NIST SP 800-53 / CMMC) - applied-inference-lab/autorm…

nh2

Low-frame-rate CSS loading spinners that reduce CPU and GPU load and visual jitter

It offers low-frame-rate HTML and SVG spinners, plus performance and visual-quality comparisons across implementations, to help web developers reduce loading indicators' power and resource use.

Top10AI

Build a clear prompt for writing, coding, images or analysis.

MAX_AUTHORIZATION_SANDBOX

Local reproducible sandbox for testing signed authorization and default-deny enforcement.

brewery

A macOS app that updates Homebrew with one button

agentic-cuda-optimizer

An experimental optimization tool that finds CUDA kernel candidates through repeated generation, validation and performance measurement.

For developers experimenting with CUDA kernels for specific GPU tasks, it creates implementation candidates from task descriptions, measures their correctness and latency, and keeps the fastest validated candidate.

minienv

Deploy a remote environment for collaboration using your existing Docker Compose configuration.

minienv reads a Docker Compose configuration and a small extension to deploy services to a remote environment. If needed, you can open public endpoints with authentication to share work in progress with others.