Jump to: [ Software | Graphics | Radio | Birds | Tripe
| Other ]
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.
- cvars -
sequences of correlated Bernoulli variables in FORTRAN.
- ltl - linear temporal
logic in OCaml.
- mvl - a collection of multivalued logic systems in
- tofn - typed ordered fuzzy
numbers in OCaml.
- K3JMK - my amateur radio station.
© 2023 Matthew Kukla