Orchestrate sandboxed coding agents in TypeScript with sandcastle.run()

A daemon running agentic coding tasks queried from listeners.

A Python port of Pi’s minimalist coding agent.

Online Lean Workbench

hopscotch is an interactive validation tool to assist in keeping your Lean dependencies up to date

Research code base for Automatic Textbook Formalization

A light-weight and powerful meta-prompting, context engineering and spec-driven development system for Claude Code by TÂCHES.

This repository contains the code for the paper "Inferring Neural Activity Before Plasticity: A Foundation for Learning Beyond Backpropagation."

SQLite bindings for Lean

Minimal open-source implementation of AlphaProof and HyperTree Proof Search.

Unified Efficient Fine-Tuning of 100+ LLMs & VLMs (ACL 2024)

Get your documents ready for gen AI

Persistent memory for LLMs and apps. Content-addressed storage with dedupe, compression, full-text and vector search.

Hierarchical Reasoning Model Official Release

Communicate with an LLM provider using a single interface

I made my AI think harder by making it argue with itself repeatedly. It works stupidly well.

Latent Program Network (from the "Searching Latent Program Spaces" paper)

Fully open reproduction of DeepSeek-R1

Minimal reproduction of DeepSeek R1-Zero

Tactics for discharging Lean goals into SMT solvers.

Git Productivity Toolkit

A project to map out the relations between different equational theories of Magmas.

Video+code lecture on building nanoGPT from scratch

The simplest, fastest repository for training/finetuning medium-sized GPTs.

No frills LLM-assisted programming

PyTorch implementation of the NIPS-17 paper "Poincaré Embeddings for Learning Hierarchical Representations"

My implementation of the original GAT paper (Veličković et al.). I've additionally included the playground.py file for visualizing the Cora dataset, GAT embeddings, an attention mechanism, and entr…