Pinned Repositories
ai_1
Files for Artificial Intellegence 1 tutorial at Charles University
api
Publicly accessible REST API for ReCodEx system
arena
A simple game for experimenting with kinodynamic agents
libreoffice-code-highlighter
Code snippet highlighter for LibreOffice Writer, Calc and Impress.
MarioAI
Super Mario implementation for experimenting with AI algorithms in Java
MsPacMan-vs-Ghosts-AI
Ms. Pac-Man implementation for experimenting with AI algorithms in Java
natty
Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of development.
ofxstatement-cz-komercni
ofxstatement plugin for CSV files from Komerční banka
Sokoban4J
Sokoban for Java, tailored for casual playing but especially for creating custom artificial Sokoban agents.
Warlight
Risk-like strategy game for experimenting with AI algorithms in Java
medovina's Repositories
medovina/natty
Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of development.
medovina/MarioAI
Super Mario implementation for experimenting with AI algorithms in Java
medovina/MsPacMan-vs-Ghosts-AI
Ms. Pac-Man implementation for experimenting with AI algorithms in Java
medovina/ofxstatement-cz-komercni
ofxstatement plugin for CSV files from Komerční banka
medovina/Warlight
Risk-like strategy game for experimenting with AI algorithms in Java
medovina/libreoffice-code-highlighter
Code snippet highlighter for LibreOffice Writer, Calc and Impress.
medovina/Sokoban4J
Sokoban for Java, tailored for casual playing but especially for creating custom artificial Sokoban agents.
medovina/ai_1
Files for Artificial Intellegence 1 tutorial at Charles University
medovina/api
Publicly accessible REST API for ReCodEx system
medovina/arena
A simple game for experimenting with kinodynamic agents
medovina/breakthrough
strategy game in C#
medovina/dataclass-csv
Map CSV to Data Classes
medovina/Evora
An implementation of a popular board game Azul
medovina/geany-plugins
The combined Geany Plugins collection
medovina/gtk_intro
medovina/gtksharp-autocomplete-demo
medovina/libical
Libical is an Open Source implementation of the iCalendar protocols and protocol data units.
medovina/llm4code-2024-recodex
medovina/logic-book
Lecture Notes on Propositional and Predicate Logic
medovina/Minesweeper4J
Minesweeper for Java tailored for casual playing but especially for creating custom artificial Minesweeper agents.
medovina/ofxstatement
Tool to convert proprietary bank statement to OFX format, suitable for importing to GnuCash.
medovina/ofxstatement-us-first-republic
ofxstatement plugin for CSV files from First Republic Bank
medovina/PortAudio.Net
Cross platform .NET wrappers for PortAudio
medovina/sine-synth
simple sine wave synthesizer
medovina/web-app
Modern web interface for ReCodEx system