Software
All of my work is
free software, licensed under the
GNU GPL v3 or some
variation thereof.
- Selected projects:
- arxpdf - download arXiv preprints as PDFs
from a shell.
- cvars - generate
sequences of correlated Bernoulli variables in FORTRAN.
- ltl - linear temporal
logic in OCaml.
- mvl - multivalued logic in OCaml.
- tofn - typed ordered fuzzy
numbers in OCaml.
- GitHub
Graphics
Radio
- K3JMK - my amateur radio station.
Birds
Tripe
Other