Official JAX implementation of End-to-End Test-Time Training for Long Context

GeoAI: Artificial Intelligence for Geospatial Data

A small collection of formally verified junk theorems provable in Lean4 + Mathlib.

📦Portable package for running Hunyuan3D 2.0/2.1 on Windows. | 混元 3D 2.0/2.1 整合包

plasTeX plugin to build formalization blueprints.

Jeo: Jax model training lib for Earth Observation

A Foundation Model for Generalist Gaming Agents

Evolutionary algorithm that uses Large Language Models (LLMs) to automatically improve programs through iterative mutation and selection

The standard template to create a lean game

A library of Jupyter notebooks and corresponding YouTube lectures by Roman Paolucci

Kappa - ϰ-framework for curating datasets and models

A collection of sample agents built with Agent Development Kit (ADK)

🧬 The Huxley-Gödel Machine

"AI-Trader: Can AI Beat the Market?" Live Trading Bench: https://ai4trade.ai Tech Report Link: https://arxiv.org/abs/2512.10971

Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.

TON Blockchain SDK, and high-quality wrappers for popular contracts

Code examples for the book titled Introduction to GIS Programming

A collection of formalized statements of conjectures in Lean.

PushWorld: A benchmark for manipulation planning with tools and movable obstacles

Web GIS framework by NextGIS

An implementation of the RL-NTM from http://arxiv.org/abs/1505.00521

Minecraft AI with LLMs+Mineflayer

This repo powers my experiment where ChatGPT manages a real-money micro-cap stock portfolio.

RAG benchmark

Open-source implementation of AlphaEvolve

An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.