Lukas Grassauer's Projects
🧩 Answer Set Programming in Python
👷 An assistant for mundane tasks.
♦️ A minimal implementation of the CEGAR-Tableaux algorithm (https://link.springer.com/10.1007/978-3-030-86059-2_5)
:calendar: A highly configurable scheduler that uses clingo
🧑 My personal dotfiles
✨ The Github Profile README (and in the future maybe more?)
🧊 A haskell library for exploring the rubikscube
A post-modern modal text editor.
✅ A simple commandline utility that converts Propositional-Logic and First-Order-Logic in various normal forms.
🌳 An implementation of a k-MST algorithm in Julia.
Stores your barcode-based store/loyalty cards on your phone
Pandoc Docker Image for use in Gitlab CI builds
🪝 pre-commit hooks for a Personal Knowledge Database
🃏 A python implementation of a General Game Playing (GGP) framework.
🍪 An opinionated cookiecutter template for python projects.
🕵 A simple agent for Risk to get started implementing your own agent for sge.
🔤 An agent for sge that uses alpha-beta pruning to find the next best move.
🎰 An agent for sge that uses Monte-Carlo-Tree-Search to find the next move.
🔀 An agent for sge that always picks a random move.
🎲 A clone of the game "Risk" implemented in sge.
💭 SitCalcPy is a Python library for doing stuff in Situation Calculus
♠ A text-based game-engine with a sensible Java-API
🗓 A CL utility for calculating the weekday of dates