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 35 1

2. MarioAI MarioAI Public

   Super Mario implementation for experimenting with AI algorithms in Java

   Java 9 5

3. 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 10

4. Warlight Warlight Public

   Forked from kefik/conquest-engine-gui

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

   Java 3 5

5. ofxstatement-cz-komercni ofxstatement-cz-komercni Public

   ofxstatement plugin for CSV files from Komerční banka

   Python 3 1

6. agtk agtk Public

   Utility classes for GTK 4 in C#

   C# 3