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.
  • bnp - Four-valued Belnap logic in OCaml, with strong/truth preserving implication, consensus, gullibility operators.
  • cvars - sequences of correlated Bernoulli variables in FORTRAN.
  • ltl - finite trace linear temporal logic 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 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

Other

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