Thomas Schweizer's repositories
codereview
AI-powered code reviews
metric-history
A research tool for measuring software through its development history
untangling-tools-benchmark
Framework to compare commit-untangling tools fairly and accurately.
awesome-msr
A curated repository of software engineering repository mining data sets
block-editor
Edit Notes like in Notion.so. Full-Stack App using React/Express.
checker-framework
Pluggable type-checking for Java
cse507
Verifiable Prescriptions Group Project
defects4j
A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research
export-lltc4j
This repository can be used to get started the SmartSHARK database (with Python).
herbie
Optimize floating-point expressions for accuracy
iqt.github.io
Help software engineering research
manage-git-branches
Scripts to manage multiple git clones, one for each branch of a repository
plume-bib
BibTeX bibliographies
tellina_user_experiment
Infrastructure repository for the Tellina user experiment
thomsch.github.io
Personal webpage
timeline
Accessible source code analysis
uw-offcampus-reading
Enables University of Washington students to access academic papers from the off campus libraries seamlessly.