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

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
• LinkedIn
• The Math Citadel
• YouTube channel
• Double Limits: A User’s Guide - a post on the n-Category Café introducing limits and tabulators in double categories. Joint work with Tanjona Ralaivaosaona.