Popular repositories Loading

1. natty natty Public

   Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of development.

   OCaml 40 2

2. MarioAI MarioAI Public

   Super Mario implementation for experimenting with AI algorithms in Java

   Java 10 6

3. agtk agtk Public

   Utility classes for GTK 4 in C#

   C# 4

4. 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

5. Warlight Warlight Public

   Forked from kefik/conquest-engine-gui

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

   Java 3 5

6. ofxstatement-cz-komercni ofxstatement-cz-komercni Public

   ofxstatement plugin for CSV files from Komerční banka

   Python 3 1