Popular repositories Loading

1. natty natty Public

   Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic.

   OCaml 41 2

2. MarioAI MarioAI Public

   Super Mario implementation for experimenting with AI algorithms in Java

   Java 10 6

3. natural_lean natural_lean Public

   A controlled natural language syntax for Lean.

   Lean 8

4. agtk agtk Public

   Utility classes for GTK 4 in C#

   C# 4

5. MsPacMan-vs-Ghosts-AI MsPacMan-vs-Ghosts-AI Public

   Forked from kefik/MsPacMan-vs-Ghosts-AI

   Ms. Pac-Man implementation for experimenting with AI algorithms in Java

   Java 3 11

6. Warlight Warlight Public

   Forked from kefik/conquest-engine-gui

   Risk-like strategy game for experimenting with AI algorithms in Java

   Java 3 5