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

2. MarioAI MarioAI Public

   Super Mario implementation for experimenting with AI algorithms in Java

   Java 7 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 6

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. libreoffice-code-highlighter libreoffice-code-highlighter Public

   Forked from slgobinath/libreoffice-code-highlighter

   Code snippet highlighter for LibreOffice Writer, Calc and Impress.

   Python 1