Sundry

Software

All of my work 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 - generate sequences of correlated Bernoulli variables in FORTRAN.
  • ltl - linear temporal logic in OCaml.
  • mvl - a collection of multivalued logic systems in OCaml.
  • tofn - typed ordered fuzzy numbers in OCaml.
• GitHub

Graphics

• 3D - galleries | all
• MKPOV - a library of POV-Ray macros, textures, other addons.
• Icons, buttons
• Tiling backgrounds

Radio

• K3JMK - my amateur radio station.

Birds

• Misc. bird photos from the yard.
• Starlings in the Soviet Union

Tripe

• Mathematics puns
• Twitter
• Mastodon

Other

• This website is hosted at both mkukla.net and tilde.club/~mjk.
• Google Scholar profile
• The Math Citadel
• My UMD homepage
• YouTube channel