Pinned Loading

1. ltl2aut ltl2aut Public

   Model Checking LTL in Scala

   Scala

2. sogo sogo Public

   Javascript implementation of the game Sogo (3D Connect Four) plus AI.

   Python

3. alpha-zero-general-sogo alpha-zero-general-sogo Public

   AI Playground for the game of Sogo, inspired by the Alpha Go Zero algorithm.

   Python

4. cpachecker cpachecker Public

   Forked from sosy-lab/cpachecker

   CPAchecker with Information Flow Analysis

   C

5. latin-online latin-online Public

   Online vocabulary trainer

   JavaScript