Repositories Users Organizations
Filter
Sort
christoph/ KSOE
C++ 0 0 0
Updated 2022-10-10 10:44:43 +02:00
patrick/ plasp Archived
SAS 0 0 0
ASP planning tools for PDDL (local mirror of https://github.com/potassco/plasp for development purposes)
Updated 2022-08-30 01:34:43 +02:00
christoph/ Talk-QtEmd2021
0 0 0
Updated 2021-04-12 13:52:06 +02:00
cp-lounge/ nextcloud-background-job
Shell 0 0 0
Regularly performs Nextcloud’s cron.php background job
Updated 2021-02-25 23:29:25 +01:00
patrick/ foliage-rs
Rust 0 0 0
Updated 2020-07-07 09:56:28 +02:00
patrick/ anthem-rs
Rust 0 0 0
Updated 2020-06-12 23:04:15 +02:00
patrick/ github-fast-envd
Ruby 0 0 0
Updated 2020-05-27 21:04:30 +02:00
patrick/ benchmark-repository-rs
Rust 0 0 0
Updated 2020-01-10 14:30:44 +01:00
patrick/ ask-dracula-rs
Rust 0 0 0
Updated 2019-11-07 10:27:43 +01:00
christoph/ WS2019Talk
SVG 0 0 0
My talk for Worldsummit 2019
Updated 2019-11-04 15:10:11 +01:00
patrick/ benchmark-template
0 0 0
Template benchmark repository with example configuration
Updated 2019-03-02 14:18:38 +01:00
christoph/ talk-embedded-linux-conference-europe
SVG 0 0 0
Updated 2018-10-23 13:50:03 +02:00
patrick/ tplp-planning-benchmark
Python 0 0 0
Planning benchmarks for the extended TPLP journal version of the plasp paper
Updated 2018-09-28 00:13:55 +02:00
patrick/ anthem
C++ 0 0 0
Translate answer set programs to first-order theorem prover language (local mirror of https://github.com/potassco/anthem for development purposes)
Updated 2018-05-04 17:25:13 +02:00
patrick/ madagascar
C 0 0 0
Development mirror of Jussi Rintanen’s planner Madagascar
Updated 2018-02-01 14:45:50 +01:00
rene/ ma_cisco_malware
Python 0 0 0
My master thesis project on malware detection using neural networks and multi task learning
Updated 2018-01-29 10:15:02 +01:00
patrick/ random-password
Shell 0 0 0
Generate random passwords
Updated 2017-11-18 21:52:55 +01:00