A modern model graph visualizer and debugger

💫 Toolkit to help you get started with Spec-Driven Development

A JAX-native LLM Post-Training Library

An MCP server exposing full Chrome DevTools Protocol debugging: breakpoints, step/run, call stacks, eval, and source maps.

Environments for LLM Reinforcement Learning

Open-source AI hackers to find and fix your app’s vulnerabilities

Open-source platform to build and deploy AI agent workflows.

learn from libraries (e.g. Lean's Mathlib) to rank & score useful premises, old & new

A framework for optimizing DSPy programs with RL

The AI framework that adds the engineering to prompt engineering (Python/TS/Ruby/Java/C#/Rust/Go compatible)

A Python library for extracting structured information from unstructured text using LLMs with precise source grounding and interactive visualization.

Renderer for the harmony response format to be used with gpt-oss

Awesome & interesting talks about programming

GenAI Processors is a lightweight Python library that enables efficient, parallel content processing.

Kanban board to manage your AI coding agents

XBOW Validation Benchmarks

utilities for decoding deep representations (like sentence embeddings) back to text

Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.

youtube video renderer

Toolkit for Scala Development

A neurosymbolic framework for vulnerability detection in code

Letta is the platform for building stateful agents: open AI with advanced memory that can learn and self-improve over time.

Framework for type-safe pure functional and non-cubical tensor processing, written in Idris 2

Open-source, vision-first browser agent

An open-source AI agent that brings the power of Gemini directly into your terminal.

CLI/GUI for managing the battery charging status for Apple silicon (M1, M32, M3) Macs

LLM powered fuzzing via OSS-Fuzz.