Wolff09
Follow
-
Wolff09.github.io Public
Personal Webpage: https://wolff09.github.io/
JavaScript UpdatedMar 18, 2025 -
plankton Public
Experimental verifier for lock-free data structures using flows in a program logic
-
phd Public
Supplemental Material for PhD Thesis. See: https://wolff09.github.io/phd/
-
TMRexp Public
An experimental linearizability checker for lock-free data structures using safe memory reclamation.
-
seal Public
Verification tool for lock-free data structures with safe memory reclamation.
-
-
RocketScience Public
State-of-the-Art Model Checker for Sequential Recursive Integer Programs.
-
-
FSME Public
Design for FSIntra2013 - awesome Metro Design for the Fachschafts Intranet.
-
ScrollOffset Public
Forked from SublimeText/ScrollOffsetAutomatic scrolling of buffers, like vim's scrolloff.
Python UpdatedDec 23, 2013 -
-
-
-