A cross-platform, OpenGL terminal emulator.

Python client for the Polymarket CLOB

Automatically add copyright headers at the top of source files.

Tool for data extraction and interacting with Lean programmatically.

Retrieval-Augmented Theorem Provers for Lean

Type annotations and runtime checking for shape and dtype of JAX/NumPy/PyTorch/etc. arrays.

A better Python REPL

A bridge between Lichess API and chess engines

A tool for finding chess puzzles out of your games.

A repo to evaluate various LLM's chess playing abilities.

Visualizing the internal board state of a GPT trained on chess PGN strings, and performing interventions on its internal board state and representation of player Elo.

A collection of MARL benchmarks based on TorchRL

🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.