Sundry

Software

Everything here is free software, licensed under the GNU GPL v3 or some variation thereof.

• Selected projects:
  • arxpdf - download arXiv preprints as PDFs from a shell.
  • bnp - Four-valued Belnap logic in OCaml, with strong/truth preserving implication, consensus, gullibility operators.
  • cvars - sequences of correlated Bernoulli variables in FORTRAN.
  • ltl - linear temporal logic (over finite traces) in OCaml.
  • tofn - ordered fuzzy numbers in OCaml.
• GitHub

Graphics

• 3D - [galleries | all]
• MKPOV - a library of POV-Ray macros, textures, other addons.
• Icons, buttons
• Tiling backgrounds and patterns
• hippo - a simple LaTeX Beamer theme using George Washington University's color palette.

Mathematics

• For papers and talk slides, see the Research page.
• Double Limits: A User’s Guide - article on the n-Category Café discussing limits and tabulators in double categories. Joint work with Tanjona Ralaivaosaona.
• The Math Citadel

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

Links

• This website is hosted at both mkukla.net and tilde.club/~mjk.
• Google Scholar profile
• My ORCID: 0009-0003-1183-0683
• LinkedIn
• YouTube channel