m
mernst
158 repositories
195 followers
Repositories
Select a repository to view its commits, contributors, and more.public
ductilej
A Java compiler plugin that turns Java into a mostly dynamically typed language
Java
10
1
20
Updated a year ago
public
plume-lib
A library of useful abstractions for programming. Obsolete, use https://github.com/plume-lib/ instead.
Java
9
23
0
Updated 8 months ago
public
bibtex2web
Format BibTeX bibliographies for the World Wide Web
Perl
6
3
0
Updated 2 years ago
public
plume-bib
BibTeX bibliographies
TeX
5
9
0
Updated 13 days ago
public
uwisdom
A collection of useful facts
5
0
1
Updated 2 years ago
public
smt-solving-exercise
An exercise to learn about SMT solving
SMT
4
0
0
Updated 6 months ago
public
meld-auto-refresh
A version of meld that automatically refreshes when the underlying files change
Python
2
0
0
Updated 4 years ago
public
conditional-failure-probability
Java
1
0
0
Updated a year ago
public
git-conflict-tutorial
A tutorial about how to manage git conflicts
HTML
1
0
0
Updated a year ago
public
basic-stats
A GUI program that computes mean, standard deviation, etc.
Java
1
1
0
Updated 3 months ago
public
html2texi
Convert HTML documentation to Texinfo format
Perl
1
0
0
Updated 5 months ago
public
event-key-checker
Answers question at https://stackoverflow.com/questions/56466885/using-errorprone-to-enforce-a-type-annotation
Java
0
0
0
Updated 6 years ago