Sundry

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.
  • cvars - 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 and other web graphics.
• Tiling backgrounds

Radio

• K3JMK - my amateur radio station.

Tripe

• Mathematics puns
• Higher category theory in a nutshell
• Twitter
• Mastodon

Birds

• Some bird photos
• Starlings in the Soviet Union

Other

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