Webpage offering a wide range of online tools

COIN-OR Linear Programming Solver

A harness for building the bundled suite of interoperable optimization tools available in the COIN-OR repository.

An easy-to-use, general and open-source tool to solve the guess-and-determine problem

Code for loralib, an implementation of "LoRA: Low-Rank Adaptation of Large Language Models"

The math library of Lean 4

Library for formalizing cryptography proofs in Lean 3 (Deprecated)

Repository for the workshop Computer-verified proofs: 48 hours in Rome

💧 Liquid Tensor Experiment

Tensors and Dynamic neural networks in Python with strong GPU acceleration

Server to host lean games.

StarCraft II Client - protocol definitions used to communicate with StarCraft II.

StarCraft II Learning Environment

Run compilers interactively from your web browser and interact with the assembly

Alternative Twitter front-end

mGBA Game Boy Advance Emulator

The main repository for the development of the evolution game Thrive.

lichess.org former mobile application / new one -> github.com/lichess-org/mobile

♞ lichess.org: the forever free, adless and open source chess server ♞

chess package for go

A structured implementation of MuZero

A free and strong UCI chess engine

AI agent microservice

MLX: An array framework for Apple silicon

Schematics and Gerber Files of the Open Hardware Analog Computer "THE ANALOG THING"

Draw datasets from within Python notebooks.

An API standard for single-agent reinforcement learning environments, with popular reference environments and related utilities (formerly Gym)

A toolkit for developing and comparing reinforcement learning algorithms.