-
-
-
phare-nix Public archive
NixOS module for phare.io monitor declarations
-
seminar-formspez Public archive
Report and Slides to my talk about "Security of Multithreaded Programs by Compilation" at the seminar "Formal Specification" in WS11/12 at TU Darmstadt
-
information-flow-agda Public archive
An Agda implementation of information flow security properties and type systems. Inspired by this course http://www.mais.informatik.tu-darmstadt.de/proganalysis-ws1213
Agda UpdatedMar 17, 2026 -
tspl-agda Public archive
Agda implementations of stuff from a lecture on type systems at TU Darmstadt.
Agda UpdatedMar 17, 2026 -
-
configs Public archive
My configuration files
-
master-thesis Public archive
A Language for the Specification and Efficient Implementation of Type Systems
-
pepper-and-carrot-pdfs Public archive
PDFs of the Pepper and Carrot comics, so printing them is easy.
-
pascal-wittmann.de Public archive
Personal website powered by Yesod
-
camunda-modeler Public
Forked from camunda/camunda-modelerA modeling solution for BPMN, DMN, and Forms based on bpmn.io. As a companion tool to your favorite IDE it supports you in implementing solutions with Camunda.
JavaScript MIT License UpdatedFeb 23, 2026 -
hackaru-timeular Public archive
Track your time with the Timeular cube and Hackaru
-
hacker.org Public
Forked from Entkenntnis/hacker.orgRevival of hacker.org
-
-
-
yesod-rst Public archive
Makes pandoc's ability to read reStructuredText avaible to Yesod.
-
shellcheck Public
Forked from koalaman/shellcheckShellCheck, a static analysis tool for shell scripts
Haskell Other UpdatedJul 7, 2022 -
awesome-github-profile-readme Public
Forked from abhisheknaiidu/awesome-github-profile-readme😎 A curated list of awesome GitHub Profile READMEs 📝
Vue Creative Commons Zero v1.0 Universal UpdatedMay 5, 2022 -
dmnmgr-server Public
Forked from davidibl/dmnmgr-serverJava Apache License 2.0 UpdatedApr 18, 2022 -
ia-task-configuration Public
Forked from hmcts/ia-task-configurationJava MIT License UpdatedOct 1, 2021 -
Provides a completion for "s/typo/correct"
-
-
camunda-dmn-model Public
Forked from camunda/camunda-dmn-modelDMN model API written in Java.
Java Apache License 2.0 UpdatedOct 13, 2018 -
checker-framework-letexpr-crash Public archive
Bug is fixed! Code that triggers a crash of the checker-framework described in issue #469
Java UpdatedJun 19, 2018 -
-
vier-gewinnt Public archive
Simple PvP game (connect four) based on WebSockets
Haskell BSD 3-Clause "New" or "Revised" License UpdatedNov 7, 2012 -
{{ message }}