Beast code in Giters

Sebastian Wolff's repositories

Supplemental Material for PhD Thesis. See: https://wolff09.github.io/phd/

Language:HTML4 30

Verification tool for lock-free data structures with safe memory reclamation.

Language:C++MIT4 20

State-of-the-Art Model Checker for Sequential Recursive Integer Programs.

Language:C3 20

An experimental linearizability checker for lock-free data structures using safe memory reclamation.

Language:HTMLMIT3 20

Design for FSIntra2013 - awesome Metro Design for the Fachschafts Intranet.

Language:CSS1 20

Language:CSS1 4 2

Netzwerk-Analyse-Projekt

Language:Python04 4

Fachschaftsgetränke 2.0

Language:Python04 1

Experimental verifier for lock-free data structures using flows in a program logic

Language:C++MIT010

Exercises for the Lecture Probability And Algorithms

Language:Python020

Automatic scrolling of buffers, like vim's scrolloff.

Language:Python020

Semester Opening 2015 Website

Language:HTML030

Language:JavaScript030

Personal Webpage: https://wolff09.github.io/

Language:JavaScript020