Pinned Repositories
basic-stats
A GUI program that computes mean, standard deviation, etc.
bcel-util
Utility routines for working with the BCEL bytecode engineering library
bibtex2web
Format BibTeX bibliographies for the World Wide Web
checker-framework
Pluggable type-checking for Java
ductilej
A Java compiler plugin that turns Java into a mostly dynamically typed language
meld-auto-refresh
A version of meld that automatically refreshes when the underlying files change
plume-bib
BibTeX bibliographies
plume-lib
A library of useful abstractions for programming. Obsolete, use https://github.com/plume-lib/ instead.
smt-solving-exercise
An exercise to learn about SMT solving
uwisdom
A collection of useful facts
mernst's Repositories
mernst/uwisdom
A collection of useful facts
mernst/plume-bib
BibTeX bibliographies
mernst/checker-framework
Pluggable type-checking for Java
mernst/bcel-util
Utility routines for working with the BCEL bytecode engineering library
mernst/guava
Google core libraries for Java
mernst/javac-parse
A wrapper around javac's parser
mernst/randoop
Automatic test generation for Java
mernst/annotation-tools
Tools for type annotations in Java
mernst/AST-Merging-Evaluation
mernst/beepbeep-3
An event stream processor anyone can use
mernst/bibtex-clean
Clean a BibTeX file by removing text outside BibTeX entries
mernst/daikon
Dynamic detection of likely invariants
mernst/defects4j
A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research
mernst/error-prone
Catch common Java mistakes as compile-time errors
mernst/google-java-format
mernst/hashmap-util
Utility libraries for Java HashMaps
mernst/html-pretty-print
HTML pretty-printer using Tagsoup
mernst/icalavailable
Show available times on an iCal calendar
mernst/javac-diagnostics-wrapper
Wrapper around javac to produce diagnostic output in JSON format
mernst/javadoc-lookup
Look up Java documentation from Emacs
mernst/logging-log4j2
Apache Log4j 2 is a versatile, feature-rich, efficient logging API and backend for Java.
mernst/lookup
Entry- or paragraph-based grep over a set of files
mernst/merging
Merge drivers and merge tools for git
mernst/multi-version-control
Perform version control operations on multiple repositories at a time
mernst/options
Command-line option processing for Java
mernst/plume-util
Utility libraries for Java
mernst/reflection-util
Utilities for Java reflection
mernst/require-javadoc
Requires a Javadoc comment to be present on every Java construct (class, method, etc.)
mernst/spotless
Keep your code spotless
mernst/wpi-many-tests-ensures-called-methods
A simple repository for testing that @EnsuresCalledMethods is inferred correctly by Checker Framework whole-program inference