medovina Goto Github PK

ai_1

Files for Artificial Intellegence 1 tutorial at Charles University

api

Publicly accessible REST API for ReCodEx system

breakthrough

strategy game in C#

dataclass-csv

Map CSV to Data Classes

evora

An implementation of a popular board game Azul

geany-plugins

The combined Geany Plugins collection

gtk_intro

gtksharp-autocomplete-demo

libical

Libical is an Open Source implementation of the iCalendar protocols and protocol data units.

libreoffice-code-highlighter

Code snippet highlighter for LibreOffice Writer, Calc and Impress.

llm4code-2024-recodex

logic-book

Lecture Notes on Propositional and Predicate Logic

marioai

Super Mario implementation for experimenting with AI algorithms in Java

minesweeper4j

Minesweeper for Java tailored for casual playing but especially for creating custom artificial Minesweeper agents.

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

Tool to convert proprietary bank statement to OFX format, suitable for importing to GnuCash.

ofxstatement-cz-komercni

ofxstatement plugin for CSV files from Komerční banka

ofxstatement-us-first-republic

ofxstatement plugin for CSV files from First Republic Bank

portaudio.net

Cross platform .NET wrappers for PortAudio

sine-synth

simple sine wave synthesizer

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

web-app

Modern web interface for ReCodEx system