Software

• Home
• About
• Contact
• Writings/Papers
• Sundry

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.