Pinned Repositories
db1
A relational database management system, written in C
db6
A column-oriented database management system, written in Ada
golog
Plan recognition system based on the situation calculus and action language Golog, written in Haskell
html
HTML Standard
limbo
A Reasoning System for a First-Order Logic of Limited Belief, written in C++
pdfpc
A presenter console with multi-monitor support for PDF files.
prgolog-old
Plan recognition system based on the situation calculus and Golog written in Mercury.
regexp
A regular expression library for Ada with support for intersection, union, etc.
sat
SAT solver for education
shared-autofill
Allows Autofill to fill into a cross-origin iframe.
schwering's Repositories
schwering/limbo
A Reasoning System for a First-Order Logic of Limited Belief, written in C++
schwering/golog
Plan recognition system based on the situation calculus and action language Golog, written in Haskell
schwering/shared-autofill
Allows Autofill to fill into a cross-origin iframe.
schwering/sat
SAT solver for education
schwering/db6
A column-oriented database management system, written in Ada
schwering/pdfpc
A presenter console with multi-monitor support for PDF files.
schwering/prgolog-old
Plan recognition system based on the situation calculus and Golog written in Mercury.
schwering/regexp
A regular expression library for Ada with support for intersection, union, etc.
schwering/db1
A relational database management system, written in C
schwering/html
HTML Standard
schwering/html-test-pages
schwering/PipelineDP
PipelineDP is a Python framework for applying differentially private aggregations to large datasets using batch processing systems such as Apache Spark, Apache Beam, and more.
schwering/schwering.github.io
Homepage
schwering/torcs-drivers
TORCS robots for plan recognition experiments
schwering/webappsec-csp
WebAppSec Content Security Policy
schwering/webappsec-permissions-policy
A mechanism to selectively enable and disable browser features and APIs