Software
A list of various libraries and applications I have written, with associated documentation. Source code is available on GitHub.
All of my work is free software, licensed under the GNU GPL v3 or some
variation thereof.
- arxpdf - shell script for downloading arXiv
preprints as PDFs.
- cvars -
sequences of correlated Bernoulli variables in FORTRAN.
- ltl - linear temporal logic.
- mkpov - library of POV-Ray textures, macros,
other addons.
- mvl - a collection of multivalued logic systems in OCaml.
- pyantenna - antenna
theory tools in Python.
- tofn - typed ordered fuzzy numbers
(TOFNs) in OCaml.
© 2023 Matthew Kukla