ckaestne

Carnegie Mellon University - S3DPittsburgh

Pinned Repositories

CIDE
Virtual Separation of Concerns
Language:Java9 6 311
CompatSiteswaps
Generator for 4-handed siteswaps, sorted by compatiblity
Language:Scala7 4 14
gdoc2latex
Language:Scala12 3 01
JavaBDD_repackaged
repackaged version of JavaBDD and JDD to push it to maven
Language:Java4 3 03
kconfigreader
KConfigReader - accurate translation of kconfig files to propositional formulas
Language:Scala7 2 29
seai
CMU Lecture: Machine Learning In Production / AI Engineering / Software Engineering for AI-Enabled Systems (SE4AI)
Language:Jupyter Notebook376 21 1145
seaibib
Software Engineering for AI/ML -- An Annotated Bibliography
303 23 131
TypeChef
Type checking ifdef variability
Language:C76 11 3436
TypeChef-LinuxAnalysis
Language:C6 5 08
undertaker
Language:C10 2 01

ckaestne's Repositories

ckaestne/seai
CMU Lecture: Machine Learning In Production / AI Engineering / Software Engineering for AI-Enabled Systems (SE4AI)
Language:Jupyter Notebook376 21 1145
ckaestne/seaibib
Software Engineering for AI/ML -- An Annotated Bibliography
303 23 131
ckaestne/TypeChef
Type checking ifdef variability
Language:C76 11 3436
ckaestne/gdoc2latex
Language:Scala12 3 01
ckaestne/CompatSiteswaps
Generator for 4-handed siteswaps, sorted by compatiblity
Language:Scala7 4 14
ckaestne/TypeChef-LinuxAnalysis
Language:C6 5 08
ckaestne/fosd.net
fosd.net
Language:CSS2 2 03
ckaestne/cv
cv
Language:Scala1 2 01
ckaestne/MachineLearningNotebooks
Python notebooks with ML and deep learning examples with Azure Machine Learning | Microsoft
Language:Jupyter Notebook1 1 02
ckaestne/95analysis
Language:Scala2 0
ckaestne/bdd
Java and Scala implementation of BDD library (supports automatic garbage collection)
Language:Scala2 01
ckaestne/cmujuggling
Language:HTML2 01
ckaestne/dpt-rp1-py
Python script to manage a Sony DPT-RP1 without the Digital Paper App
Language:Python0 0
ckaestne/flask-browser
Language:CSS1 0
ckaestne/Machine-Learning-in-Production
Carnegie Mellon University Research: Machine Learning in Production | Dr. Christian Kaestner & Justin Ventura (Nadia Nahar, Shurui Zhou)
Language:Python1 0
ckaestne/modernpassing
Modern club passing book (draft)
Language:TypeScript
ckaestne/npm-mirror
Language:TypeScript1 0
ckaestne/npm-mirror2
Data pipeline to replicate the NPM Registry using Python, CouchDB, Kafka, Kafka-ui, Prometheus and Grafanan. Meant to be used for research purposes.
Language:Python0 0
ckaestne/phosphor
Phosphor: Dynamic Taint Tracking for the JVM
Language:Java2 0
ckaestne/reveal-md
Custom modifications and patches for reveal-md
Language:JavaScript1 0
ckaestne/reveal.js-plugins
Plugins for reveal.js
Language:JavaScript1 0
ckaestne/seai-test
Language:HTML2 0
ckaestne/siteswap-takeouts
1 0
ckaestne/slide-test
experimentation with reveal-md for lecture slides
Language:JavaScript1 0
ckaestne/SmartCommitEvaluation-Viz
Repo for the dataset and the visualization scripts of SmartCommit Evaluation.
Language:Python1 0
ckaestne/symex-triangle
Language:Scala2 01
ckaestne/test-action
2 1
ckaestne/test_
2 3
ckaestne/toxicity-detector
Language:Python1 01
ckaestne/vbdd
Language:Scala2 01