Repositories Users Organizations
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
patrick / plasp
SAS 0 0

ASP planning tools for PDDL (local mirror of https://github.com/potassco/plasp for development purposes)

Updated 3 years ago

cp-lounge / nextcloud-background-job
Shell 0 0

Regularly performs Nextcloud’s cron.php background job

Updated 3 years ago

patrick / anthem
C++ 0 0

Translate answer set programs to first-order theorem prover language (local mirror of https://github.com/potassco/anthem for development purposes)

Updated 2 years ago

patrick / random-password
Shell 0 0

Generate random passwords

Updated 3 years ago

patrick / tplp-planning-benchmark
Python 0 0

Planning benchmarks for the extended TPLP journal version of the plasp paper

Updated 2 years ago

patrick / madagascar
C 0 0

Development mirror of Jussi Rintanen’s planner Madagascar

Updated 2 years ago

rene / ma_cisco_malware
Python 0 0

My master thesis project on malware detection using neural networks and multi task learning

Updated 3 years ago

patrick / benchmark-template
0 0

Template benchmark repository with example configuration

Updated 1 year ago

patrick / benchmark-repository-rs
Rust 0 0

Updated 1 year ago

christoph / talk-embedded-linux-conference-europe
SVG 0 0

Updated 2 years ago

patrick / foliage-rs
Rust 0 0

Updated 6 months ago

patrick / ask-dracula-rs
Rust 0 0

Updated 1 year ago

christoph / WS2019Talk
SVG 0 0

My talk for Worldsummit 2019

Updated 1 year ago

patrick / anthem-rs
Rust 0 0

Updated 7 months ago

patrick / github-fast-envd
Ruby 0 0

Updated 7 months ago