Software
Everything here is free software, licensed under the GNU GPL v3 or some variation thereof.
- Selected projects:
- arxpdf - shell script for downloading
arXiv preprints as PDFs.
- bnp - Four-valued Belnap logic in OCaml, with strong/truth preserving implication,
consensus, gullibility operators.
- cvars -
sequences of correlated Bernoulli variables in FORTRAN.
- ltl - finite trace linear temporal
logic in OCaml.
- tofn - typed ordered fuzzy
numbers in OCaml.
- GitHub
Graphics
Radio
- K3JMK - my amateur radio station.
Tripe
Birds
Other