Popular repositories Loading

1. cg_referee cg_referee Public

   Forked from mdelorme/cg_referee

   Generic referee system for codingame bots

   Python

2. coq coq Public

   Forked from rocq-prover/rocq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml

3. CG-GitC-Arena CG-GitC-Arena Public

   Forked from Agade09/CG-GitC-Arena

   Arena program that plays games between two Ghost in the Cell AIs

   C++

4. cg-brutaltester cg-brutaltester Public

   Forked from dreignier/cg-brutaltester

   Java