Stars
A library for generative social simulation
A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.
Multimodal, multitemporal dataset for flood and wildfire prediction
Official code repository of Sen12Landslides
Code associated with the paper An AI system to help scientists write expert-level empirical software
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
A collection of sample agents built with Agent Development Kit (ADK)
"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
NextGIS Web is an open-source Web GIS server for geospatial data management, web map publishing, and QGIS-centered collaborative workflows.
An implementation of the RL-NTM from http://arxiv.org/abs/1505.00521