Discover @domschrei Open Source projects

Dominik Schreiber (@domschrei)

domschrei

Stars
241
Global Rank 106,043 (Top 4 %)
Followers 26
Registered over 8 years ago
Most used languages

C++
42.9 %

TeX
21.4 %

ANTLR 7.1 %

C
7.1 %

Java
7.1 %

Python
7.1 %

Shell
7.1 %
Location 🇩🇪 Germany
Country Total Rank 6,100
Country Ranking

ANTLR 12

TeX
264

C++
480

Java
2,866

C
5,545

Shell
8,159

krunner-symbols

A lightweight KRunner plugin (Plasma 5) to retrieve unicode symbols, or any other string, based on a corresponding keyword.

mallob

Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.

lilotane

Lifted Logic for Task Networks: SAT-driven Planning for Totally-ordered Hierarchical Task Networks (HTN)

soundsoutofbounds

A songbook about IT and computer science

aquaplanning

Aquaplanning QUick Automated Planning.

isc22-mallob

Submission of Mallob to International SAT Competition 2022

pddl_antlr_grammar

Patched and revised PDDL ANTLR v4 grammar

runwatch

Execute a set of commands under homogeneous memory, time, and CPU constraints.

netcat-file-bridge

Mirror certain files between machines using netcat

impcheck

Immediate Massively Parallel Propositional Proof Checking

europar22-artifact-mallob

Software artifact for our Euro-Par 2022 paper

mallob-ipasir-bridge

An IPASIR interface to connect applications to Mallob's incremental on-demand SAT solving

KIT-SAT-LectureNotes

Lecture Notes for the lecture "Practical SAT Solving" held at Karlsruhe Institute of Technology (KIT)

kit-ensimag-tutorial

Ein Info-Dokument für KIT-Informatik-Studenten, die ein Auslandsstudium am ENSIMAG machen (möchten)