Strong neural-network chess engine written in C++

A collection of formalized statements of conjectures in Lean.

Code for the complete guide to tkinter tutorial

Freedoom is an entirely free software game based on the Doom engine.

OpenBench is a Distributed SPRT Testing Framework for Chess Engines

☗ lishogi.org: the forever free, adless and open source shogi server forked from lichess.org ☗

Lichess' websocket server

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

Lichess API documentation and examples

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

Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documen…

Linux kernel source tree

TChess - Play the chess in the Terminal!

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.

.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.

The official mirror of the V8 Git repository

JDK main-line development https://openjdk.org/projects/jdk

The math library of Lean 4

Lean 4 programming language and theorem prover

Hello World in different languages !

Collection of various algorithms in mathematics, machine learning, computer science, physics, etc implemented in C for educational purposes.

The official Python library for the OpenAI API

The Python programming language

All Algorithms implemented in Python

AI for a generalized version of tic-tac-toe written for fun that can be played against on the internet. Written in Python, hosted on Heroku instance

Collection of Games that have the source code available on GitHub

A free and strong UCI chess engine

Open source neural network chess engine with GPU acceleration and broad hardware support.