patrickhegemann
R&D software engineer and computer scientist with interest in algorithmics, functional programming, and computational logic
Karlsruhe, Germany
Pinned Repositories
aquaplanning
Aquaplanning QUick Automated Planning.
argparse
Argument Parser for Modern C++
Blokk
Extendable and configurable falling blocks game
Diophantus
Linear integer equation system solver
DL-Learner
A tool for supervised Machine Learning in OWL and Description Logics
haskell-algorithms
Some algorithms written in Haskell just for fun
Hsat
A toy SAT solver written in Haskell
parallel-graphplan
Parallel implementation of the Graphplan algorithm using incremental SAT solving
pddlprinter
Convenient generation of PDDL files for automated planning
patrickhegemann's Repositories
patrickhegemann/pddlprinter
Convenient generation of PDDL files for automated planning
patrickhegemann/aquaplanning
Aquaplanning QUick Automated Planning.
patrickhegemann/argparse
Argument Parser for Modern C++
patrickhegemann/Blokk
Extendable and configurable falling blocks game
patrickhegemann/Diophantus
Linear integer equation system solver
patrickhegemann/DL-Learner
A tool for supervised Machine Learning in OWL and Description Logics
patrickhegemann/haskell-algorithms
Some algorithms written in Haskell just for fun
patrickhegemann/Hsat
A toy SAT solver written in Haskell
patrickhegemann/parallel-graphplan
Parallel implementation of the Graphplan algorithm using incremental SAT solving
patrickhegemann/RegExParser
Just a parser for simple regular expression