Beast code in Giters

Christian Kästner's repositories

CIDE

Virtual Separation of Concerns

Language:JavaNOASSERTION9 6 3

kconfigreader

KConfigReader - accurate translation of kconfig files to propositional formulas

Language:Scala7 2 2

TypeChef-LinuxAnalysis

Language:CNOASSERTION6 50

vbc

Language:Java4 3 4

FestivalSheet

small script to poll information from all festival artists from last.fm

Language:Scala1 20

Jetway

Language:Python1 20

MassLastfmTagger

Language:Scala1 20

TypeChef-BusyboxAnalysis

Language:C1 4 3

TypeChef-LinuxAnalysis2

Language:C++NOASSERTION1 20

varex2

Varex (a variational PHP interpreter based on Quercus)

Language:Java1 3 7

15-313-rec-1-a

Repository for the first recitation of 15-313 section A.

Language:Python020

214demosetup

Language:Java020

CFGAnalysis

Language:Scala020

FeatureCommander

Language:C++NOASSERTION020

if2ifdef_subjects

Language:Java030

KBuildMiner

Fork from Thorsten

Language:ScalaGPL-3.0020

mustache.js

Minimal templating with {{mustaches}} in JavaScript

Language:JavaScriptMIT000

NodeModuleAnalysis

experimental

Language:Scala020

org.phpex

Simple interpreter/symbolic interpreter for a while language

Language:Scala020

PassingSync

Language:JavaApache-2.0040

regex

Variational regular expressions engine in scala

Language:ScalaApache-2.0020

TypeChef-BusyboxAnalysis2

Language:CNOASSERTION020

TypeChef-docker

020

TypeChef-linuxweb

Language:Scala020

TypeChef-linuxweb-lift

Simple web frontend for the TypeChef linux analysis to simplify debugging

Language:Scala020

TypeChef-PerfAnalysis

Language:C020

VarexJ

A Variability-Aware Interpreter for Java Applications

Language:Java020

vgit

Language:Scala020

WemoControl

Language:Python020

xtc

fork from xtc/superc to experiment in the context of the TypeChef project

Language:Java020