michael-schwarz
PhD Candidate in Static Analysis at TUM
Technical University of Munich @tum-cit-pl Munich
Pinned Repositories
analyzer
Static analysis framework for C
cil
C Intermediate Language
gobview
Frontend for goblint written with jsoo-react
canonical-cover
Small Haskell tool that computes the canonical cover (given FDs)
echacks-project
journé is an Android app that allows users to anonymously post photos attached to their current location. These photos are available exclusively to users who are in close proximity to the original location.
sendto-wizard
Delete and modify entries in the Send to menu of Windows. (scroll down for details)
po-lab-2018
Master-Lab: Program Optimization Lab (IN2106, IN0012)
tud18-ds4se
Group project for the ATHENS course at TU Delft 2018
michael-schwarz's Repositories
michael-schwarz/canonical-cover
Small Haskell tool that computes the canonical cover (given FDs)
michael-schwarz/echacks-project
journé is an Android app that allows users to anonymously post photos attached to their current location. These photos are available exclusively to users who are in close proximity to the original location.
michael-schwarz/sendto-wizard
Delete and modify entries in the Send to menu of Windows. (scroll down for details)
michael-schwarz/tum-transaction-systems-hw
Homework for the Transaction Systems class at TUM in Spring 2017
michael-schwarz/analyzer
The goblint static analysis framework
michael-schwarz/dotfeedlib
C# library for working with RSS/ATOM feeds
michael-schwarz/goblint-array-examples
Handcrafted examples of programs using arrays used in development of array analysis for Goblint
michael-schwarz/goblint-webfrontend-jsoo
Frontend for goblint written with jsoo-react
michael-schwarz/image-resizer
Resize images (scroll down for details)
michael-schwarz/opam-repository
Main public package repository for opam, the source package manager of OCaml.
michael-schwarz/project-dragonhack
Android app to track time wasted on the phone during lectures and see how you compare with your friends. Made with ❤ during DragonHack 2016
michael-schwarz/syntactical_analyzer-1
Bachelor's project of Olga Faddeenkov
michael-schwarz/TUM.sexy
A website providing links, redirects and tools related to the Technical University Munich :dancer::books:
michael-schwarz/tumi-app
Modern pwa to manage event signup at ESN TUMi munich
michael-schwarz/wn-mcr-transform
Transform MCR 3.0 data to read with nltk WordNet reader. Use this to load WordNet in Spanish, among other languages, from nltk.