Giters
Johannes Kinder (jkinder)

jkinder

Geek Repo

33

followers

1

following

5

stars

Company:LMU Munich

Location:Munich, Germany

Home Page:https://plai.ifi.lmu.de

Twitter:@johannes_kinder

Github PK Tool:Github PK Tool

Johannes Kinder's repositories

jakstab

The Jakstab static analysis platform for binaries

Language:JavaLicense:GPL-2.0Stargazers:154Issues:16Issues:8

mocca

Archived code of CTPL model checker for assembly code.

Language:AssemblyStargazers:3Issues:0Issues:0

shairport

Airtunes emulator! Play sound from your iDevices to any convenient computer.

Language:CStargazers:1Issues:0Issues:0

CSrankings

A web app for ranking computer science departments according to their research output in selective venues.

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

triangle-example

Language:JavaStargazers:0Issues:0Issues:0