Entze

Lukas Grassauer's repositories

ASPy

🧩 Answer Set Programming in Python

Language:PythonGPL-3.0010

ass-rs

👷 An assistant for mundane tasks.

Language:RustMIT000

CEGARPy

♦️ A minimal implementation of the CEGAR-Tableaux algorithm (https://link.springer.com/10.1007/978-3-030-86059-2_5)

Language:PythonGPL-3.0010

dotfiles

🧑 My personal dotfiles

Language:Shell010

Entze

✨ The Github Profile README (and in the future maybe more?)

010

HCube

🧊 A haskell library for exploring the rubikscube

Language:HaskellBSD-3-Clause010

jkMST

🌳 An implementation of a k-MST algorithm in Julia.

Language:JuliaMIT010

pyggp

🃏 A python implementation of a General Game Playing (GGP) framework.

Language:PythonMIT010

sge-mctsagent

🎰 An agent for sge that uses Monte-Carlo-Tree-Search to find the next move.

Language:JavaGPL-3.0010

sge-risk

🎲 A clone of the game "Risk" implemented in sge.

Language:JavaAGPL-3.0010

Strategy-Game-Engine

♠ A text-based game-engine with a sensible Java-API

Language:JavaAGPL-3.0010

hform

✅ A simple commandline utility that converts Propositional-Logic and First-Order-Logic in various normal forms.

Language:HaskellMIT010

loyalty-card-locker

Stores your barcode-based store/loyalty cards on your phone

Language:JavaGPL-3.0010

pandoc-docker

Pandoc Docker Image for use in Gitlab CI builds

Language:DockerfileNOASSERTION000

python-cookiecutter

🍪 An opinionated cookiecutter template for python projects.

MIT010

RiskAgent

🕵 A simple agent for Risk to get started implementing your own agent for sge.

Language:JavaMIT010

sge-alphabetaagent

🔤 An agent for sge that uses alpha-beta pruning to find the next best move.

Language:JavaGPL-3.0010

sge-randomagent

🔀 An agent for sge that always picks a random move.

Language:JavaAGPL-3.0010

SitCalcPy

💭 SitCalcPy is a Python library for doing stuff in Situation Calculus

Language:PythonGPL-3.0010

whatday-pt

🗓 A CL utility for calculating the weekday of dates

Language:PythonGPL-3.0010