simon-lund

Software Engineer

LMU

Pinned Repositories

cpachecker-data
Data sets regarding the analysis of CPAchecker
0 1 00
deadlock-data
Scraped and copied data for Deadlock
Language:Python92
deadlock.rocks
A platform to design and share builds for heros of the game Deadlock.
Language:JavaScript00
gh-observatory
The GitHub Observatory
Language:TypeScript00
jade
Prototypical Measurement Tool
Language:Python0 0 00
simon-lund.github.io
Homepage
Language:TypeScript0 1 00
sticky-notes
A dead simple pinboard for your notes.
Language:Svelte10

simon-lund's Repositories

simon-lund/deadlock-data
Scraped and copied data for Deadlock
Language:Python92
simon-lund/sticky-notes
A dead simple pinboard for your notes.
Language:Svelte10
simon-lund/cpachecker-data
Data sets regarding the analysis of CPAchecker
0 1 00
simon-lund/deadlock.rocks
A platform to design and share builds for heros of the game Deadlock.
Language:JavaScript00
simon-lund/gh-observatory
The GitHub Observatory
Language:TypeScript00
simon-lund/jade
Prototypical Measurement Tool
Language:Python0 0 00
simon-lund/simon-lund.github.io
Homepage
Language:TypeScript0 1 00
simon-lund/uncert
Language:Python0 0 00