Verifiers for LLM Reinforcement Learning

✨ Open-source AI hackers for your apps 👨🏻‍💻

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 tensor processing, supporting non-cubical tensors

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.

A Lévy-optimal lambda calculus reducer with a backdoor to C

SBX: Stable Baselines Jax (SB3 + Jax) RL algorithms

weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interesting functionality in large codebases.

Direct File

A Lean companion to Analysis I

Demo for high-performance type theory elaboration