Wolff09

New York UniversityNew York City

Pinned Repositories

FSME
Design for FSIntra2013 - awesome Metro Design for the Fachschafts Intranet.
Language:CSS1 2 00
nap
Netzwerk-Analyse-Projekt
Language:Python0 4 40
phd
Supplemental Material for PhD Thesis. See: https://wolff09.github.io/phd/
Language:HTML4 3 00
piepbar
Fachschaftsgetränke 2.0
Language:Python0 4 11
RocketScience
State-of-the-Art Model Checker for Sequential Recursive Integer Programs.
Language:C3 2 00
seal
Verification tool for lock-free data structures with safe memory reclamation.
Language:C++4 2 01
semester-opening-2013
Language:CSS1 4 21
TMRexp
An experimental linearizability checker for lock-free data structures using safe memory reclamation.
Language:HTML3 2 00

Wolff09's Repositories

Wolff09/phd
Supplemental Material for PhD Thesis. See: https://wolff09.github.io/phd/
Language:HTML4 3 00
Wolff09/seal
Verification tool for lock-free data structures with safe memory reclamation.
Language:C++4 2 01
Wolff09/RocketScience
State-of-the-Art Model Checker for Sequential Recursive Integer Programs.
Language:C3 2 00
Wolff09/TMRexp
An experimental linearizability checker for lock-free data structures using safe memory reclamation.
Language:HTML3 2 00
Wolff09/FSME
Design for FSIntra2013 - awesome Metro Design for the Fachschafts Intranet.
Language:CSS1 2 00
Wolff09/semester-opening-2013
Language:CSS1 4 21
Wolff09/nap
Netzwerk-Analyse-Projekt
Language:Python0 4 40
Wolff09/piepbar
Fachschaftsgetränke 2.0
Language:Python0 4 11
Wolff09/plankton
Experimental verifier for lock-free data structures using flows in a program logic
Language:C++1 01
Wolff09/ProAlg
Exercises for the Lecture Probability And Algorithms
Language:Python2 01
Wolff09/ScrollOffset
Automatic scrolling of buffers, like vim's scrolloff.
Language:Python2 0
Wolff09/seo15-www
Semester Opening 2015 Website
Language:HTML3 01
Wolff09/wib-2013
Language:JavaScript3 0
Wolff09/Wolff09.github.io
Personal Webpage: https://wolff09.github.io/
Language:JavaScript2 0