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