Name: Dominik Schreiber
Type: User
Company: Karlsruhe Institute of Technology
Bio: Computer scientist at KIT (Karlsruhe), interested in SAT, Automated Planning and Linux stuff. Hobby musician and sporadic course instructor.
Location: Karlsruhe, Germany
3dvis
3dVis by Carsten Sinz
aquaplanning
Aquaplanning QUick Automated Planning.
asciigif
Downloads a gif from /r/gifs, and displays it in ASCII art in the terminal.
aws-batch-comp-infrastructure-sample
batterygraph
Outputs a simple python plot with the recent battery charge history.
bitwuzla
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.
cadical
CaDiCaL SAT Solver
drat-trim
The DRAT-trim proof checker
europar22-artifact-mallob
Software artifact for our Euro-Par 2022 paper
hordesat
impcheck
Immediate Massively Parallel Propositional Proof Checking
ipc2020-domains
ipc2023-htn.github.io
isc22-mallob
Submission of Mallob to International SAT Competition 2022
kissat
kit-ensimag-tutorial
Ein Info-Dokument für KIT-Informatik-Studenten, die ein Auslandsstudium am ENSIMAG machen (möchten)
kit-sat-lecturenotes
Lecture Notes for the lecture "Practical SAT Solving" held at Karlsruhe Institute of Technology (KIT)
krunner-symbols
A lightweight KRunner plugin (Plasma 5) to retrieve unicode symbols, or any other string, based on a corresponding keyword.
lilotane
Lifted Logic for Task Networks: SAT-driven Planning for Totally-ordered Hierarchical Task Networks (HTN)
lilotane-experimental-data
Experimental data collected for Lilotane JAIR paper
mallob
Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
mallob-experimental-data
mallob-impcheck-data
Software references and experimental data for SAT'24 submission "ImpCheck"
mallob-incremental-experiments
Infrastructure to run incremental SAT applications with Mallob as a backend
mallob-interface
mallob-ipasir-bridge
An IPASIR interface to connect applications to Mallob's incremental on-demand SAT solving
netcat-file-bridge
Mirror certain files between machines using netcat
pddl_antlr_grammar
Patched and revised PDDL ANTLR v4 grammar
pdfpc
A presenter console with multi-monitor support for PDF files.
plotscripts
Ugly scripts for pretty plots
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
