Pearls of Functional Algorithm Design by Richard Bird - Haskell Code

Command & Conquer Generals: Zero Hour running natively on macOS, iPhone & iPad — real engine (EA GPL v3 source, via GeneralsX), DXVK/MoltenVK renderer, RTS touch controls. No game assets included.

Data recipes and robust infrastructure for training AI agents

Open-Source Frontier Voice AI

Ultra-lightweight, open-source, self-hosted personal AI agent framework in Python with WebUI, tools, memory, MCP, multi-agent workflows, automation, and chat apps

An agent-managed museum exhibit, built in Rust with Gajae-Code / LazyCodex — developed and maintained with no human intervention.

higher is a pytorch library allowing users to obtain higher order gradients over losses spanning training loops rather than individual training steps.

Symphony turns project work into isolated, autonomous implementation runs, allowing teams to manage work instead of supervising coding agents.

Skills Catalog for Codex

📑 PageIndex: Document Index for Vectorless, Reasoning-based RAG

An Efficient and User-Friendly Scaling Library for Reinforcement Learning with Large Language Models

Linear optimization software

Examples in the MLX framework

A neurosymbolic perspective on LLMs

[NeurIPS 2025] TTRL: Test-Time Reinforcement Learning

From Accuracy to Robustness: A Study of Rule- and Model-based Verifiers in Mathematical Reasoning.

Open-source implementation of AlphaEvolve

GenAI for Optimization and Decision Intelligence

Recent research papers about Foundation Models for Combinatorial Optimization

A Collection on Large Language Models for Optimization

LLM4AD: A Platform for Algorithm Design with Large Language Model

Search-R1: An Efficient, Scalable RL Training Framework for Reasoning & Search Engine Calling interleaved LLM based on veRL

My learning notes for ML SYS.

LLMs build upon Evol Insturct: WizardLM, WizardCoder, WizardMath

Code and Data for Tau-Bench

Scalable toolkit for efficient model reinforcement

dbt enables data analysts and engineers to transform their data using the same practices that software engineers use to build applications.

Atropos is a Language Model Reinforcement Learning Environments framework for collecting and evaluating LLM trajectories through diverse environments

Training Large Language Model to Reason in a Continuous Latent Space