High-performance code intelligence MCP server. Indexes codebases into a persistent knowledge graph — average repo in milliseconds. 158 languages, sub-ms queries, 99% fewer tokens. Single static bin…

Catalogue of languages designed for Agents

The Programming Language for Agents

Light, fluffy, and always free - The AWS Local Emulator alternative

The free AI already on your Mac. CLI tool, OpenAI-compatible server, and interactive chat — all on-device via Apple Intelligence. No API keys, no cloud, no downloads.

The open source coding agent.

Graph neural network weather forecasting, from Keisler 2022

CircuitPython - a Python implementation for teaching coding with microcontrollers

MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems

Let your agents spend on your behalf. Your payment credentials are never exposed. You approve every purchase.

The testing standard for MCP servers. Lint (14 rules), test, and fuzz over real stdio/SSE/HTTP transport. 18 assertion types in YAML. Found 4,794 schema issues across 55 servers. Any language, no m…

Valea is an AI-native systems programming language. Programming languages were built for humans. Valea is built for humans and autonomous AI agents.

A language-agnostic Intermediate Representation for autonomous agent-driven software development

Marsha is a functional, higher-level, English-based programming language that gets compiled into tested Python software by an LLM

A Programming Language by AI, for AI

Introducing NERD - the first intermediate language designed for machine authorship

Programming language for 100% agentic coding

PACT programming language compiler

Aver is a programming language for auditable AI-written code

VeraBench: a benchmark suite for LLM code generation in Vera

Vera: a programming language designed for LLMs to write

Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞