A list of policies by different open source projects about how to engage with AI-generated contributions.

Self-hosted control plane for your coding agents — chat, kanban, voice, and integrations in one place.

CLI proxy that reduces LLM token consumption by 60-90% on common dev commands. Single Rust binary, zero dependencies

The open-source TypeScript framework for building AI workflows and agents. Designed for Claude Code describe what you want, Claude builds it, with all the best practices already in place.

Python Fluente, Segunda Edição

An introduction to theorem proving in Lean for the impatient.

Lean Theorem Prover MCP

A project to digitalise results from physics into Lean.

AI-assisted formalizations of machine learning theory

[ICML2026] The first comprehensive Lean 4 formalization of statistical learning theory, featuring Gaussian Lipschitz concentration and Dudley's entropy integral-establishes a reusable foundation fo…

Turn any AI agent into an AI Scientist. The #1 Agent Skills library for science, used by 160,000+ scientists worldwide. 140 ready-to-use skills plus 100+ scientific databases covering biology, chem…

OpenGl implementation of some fractals

Installable GitHub library of 1,600+ agentic skills for Claude Code, Cursor, Codex CLI, Gemini CLI, Antigravity, and more. Includes specialized plugins, installer CLI, bundles, workflows, and offic…

Script to sync a set of JavaScript pages in a wiki with the latest code from the corresponding git repositories

Server to host Lean games

Natural Number Game

Santa 2025 - Christmas Tree Packing Challenge

The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver

Manipulation and analysis of geometric objects

Código para baixar cifras e letras de músicas brasileiras, com posterior análise.

Windows Subsystem for Linux

Source code/webpage/demos for the What-If Tool

The Open Source Feature Store for AI/ML

✨ The fundamental numerical library for JavaScript and TypeScript. ✨

A Python package for causal inference in quasi-experimental settings

An applied Linear Algebra textbook flavored with Earth Science topics.

A professionally curated list of awesome Conformal Prediction videos, tutorials, books, papers, PhD and MSc theses, articles and open-source libraries.

Maps that show time instead of space