michael-schwarz Goto Github PK
Name: Michael Schwarz
Type: User
Company: Technical University of Munich @tum-cit-pl
Bio: PhD Candidate in Static Analysis at TUM
Twitter: 93mSchwarz
Location: Munich
Name: Michael Schwarz
Type: User
Company: Technical University of Munich @tum-cit-pl
Bio: PhD Candidate in Static Analysis at TUM
Twitter: 93mSchwarz
Location: Munich
The goblint static analysis framework
Small Haskell tool that computes the canonical cover (given FDs)
C# library for working with RSS/ATOM feeds
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.
Handcrafted examples of programs using arrays used in development of array analysis for Goblint
Frontend for goblint written with jsoo-react
Resize images (scroll down for details)
Main public package repository for opam, the source package manager of OCaml.
Android app to track time wasted on the phone during lectures and see how you compare with your friends. Made with ❤ during DragonHack 2016
Delete and modify entries in the Send to menu of Windows. (scroll down for details)
Bachelor's project of Olga Faddeenkov
Homework for the Transaction Systems class at TUM in Spring 2017
A website providing links, redirects and tools related to the Technical University Munich :dancer::books:
Modern pwa to manage event signup at ESN TUMi munich
Transform MCR 3.0 data to read with nltk WordNet reader. Use this to load WordNet in Spanish, among other languages, from nltk.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.