Christian Kästner

seai. CMU Lecture: Machine Learning In Production / AI Engineering / Software Engineering for AI-Enabled Systems (SE4AI)

seaibib. Software Engineering for AI/ML -- An Annotated Bibliography

TypeChef. Type checking ifdef variability

gdoc2latex. Scala

undertaker. C

CIDE. Virtual Separation of Concerns

CompatSiteswaps. Generator for 4-handed siteswaps, sorted by compatiblity

kconfigreader. KConfigReader - accurate translation of kconfig files to propositional formulas

TypeChef-LinuxAnalysis. C

LEADT. Feature Mining with LEADT: Consistent Semi-Automatic Detection of Product-Line Features

vbc. Java

JavaBDD_repackaged. repackaged version of JavaBDD and JDD to push it to maven

modernpassing. Modern club passing book (draft)

fosd.net. fosd.net

MachineLearningNotebooks. Python notebooks with ML and deep learning examples with Azure Machine Learning | Microsoft

MassLastfmTagger. Scala

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

Jetway. Python

TypeChef-linuxweb. Scala

cv. cv

sugarj. Library-based Language Extensibility

TypeChef-LinuxAnalysis2. C++

TypeChef-BusyboxAnalysis. C

mergebyifdef. Java

StaticAnalysis. Scala

varex2. Varex (a variational PHP interpreter based on Quercus)