-
Notifications
You must be signed in to change notification settings - Fork 0
/
sundry.html
97 lines (93 loc) · 3.66 KB
/
sundry.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
<!DOCTYPE html>
<html lang="en">
<head>
<title>Sundry</title>
<style>h2{display:inline;}
img{vertical-align:middle; padding-right:5px;}</style>
<link rel="stylesheet" href="style.css">
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<meta name="author" content="Matthew Kukla">
<meta name="keywords" content="Matt Kukla, Matthew Kukla, mathematics, MKPOV">
</head>
<a id="top"><h1>Sundry</h1></a>
<ul class="a">
<li><a class="active" href="index.html">Home</a></li>
<li><a class="active" href="about.html">About</a></li>
<li><a class="active" href="contact.html">Contact</a></li>
<li><a class="active"
href="writings.html">Research</a></li>
<li><a class="active" href="sundry.html">Sundry</a></li>
</ul>
<p>
<strong>Jump to:</strong> [<a href="#software">Software</a> | <a href="#gfx">Graphics</a> | <a
href="#rf">Radio</a> | <a href="#birds">Birds</a> | <a href="#tripe">Tripe</a>
| <a href="#other">Other</a>]
</p>
<p>
<div>
<a id="software"><h2>Software</h2></a>
<p>
Everything here is <i>free software</i>, licensed under the <a
href="LICENSE">GNU GPL v3</a> or some variation thereof.</p>
<ul>
<li> Selected projects:
<ul>
<li><a href="doc/arxpdf.html">arxpdf</a> - shell script for downloading
arXiv preprints as PDFs.</li>
<li><a href="https://github.com/matt-kukla/bnp/">bnp</a> - Four-valued Belnap logic in OCaml, with strong/truth preserving implication,
consensus, gullibility operators.
<li><a href="doc/cvars.html">cvars</a> -
sequences of correlated Bernoulli variables in FORTRAN.</li>
<li><a href="https://github.com/matt-kukla/ltl">ltl</a> - finite trace linear temporal
logic in OCaml.</li>
<li><a href="doc/tofn/index.html">tofn</a> - typed ordered fuzzy
numbers in OCaml.</li>
</ul>
</li>
<li><a href="https://www.github.com/matt-kukla">GitHub</a></li>
</ul>
<a id="gfx"><h2>Graphics</h2></a>
<ul>
<li>
3D - [<a href="3d/">galleries</a> | <a href="misc/3d.html">all</a>]
</li>
<li><a href="doc/mkpov/index.html">MKPOV</a> - a library of POV-Ray macros,
textures, other addons.</li>
<li><a href="imgs/buttons/">Icons, buttons</a></li>
<li><a href="imgs/tiles/">Tiling backgrounds</a> and patterns
</ul>
<a id="rf"><h2>Radio</h2></a>
<ul>
<li><a href="K3JMK">K3JMK</a> - my amateur radio station.
</ul>
<a id="tripe"><h2>Tripe</h2></a>
<ul>
<li>Mathematics <a href="misc/mathpuns.html">puns</a></li>
<li>Higher category theory in a <a
href="imgs/misc/nlab.png">nutshell</a></li>
<li><a href="https://twitter.com/n_category">Twitter</a></li>
<li><a href="https://mathtod.online/@n_category">Mastodon</a></li>
</ul>
<a id="birds"><h2>Birds</h2></a>
<ul>
<li>Some <a href="misc/birds.html">bird photos</a></li>
<li><a href="misc/soviet-starlings.html">Starlings in the Soviet Union</a></li>
</ul>
<a id="other"><h2>Other</h2></a>
<ul>
<li>This website is hosted at both <a href="http://mkukla.net">mkukla.net</a> and <a
href="http://tilde.club/~mjk">tilde.club/~mjk</a>.
<li><a href="https://scholar.google.com/citations?user=BM6Nof8AAAAJ">Google
Scholar profile</a></li>
<li><a href="https://www.linkedin.com/in/mkukla/">LinkedIn</a>
<li><a href="http://themathcitadel.com">The Math Citadel</a></li>
<li><a href="https://www.youtube.com/channel/UCqXB4T_dXJDkJClkomK8LmQ">YouTube
channel</a></li>
</ul>
</div>
<a href="#top"><img src="imgs/buttons/ARR-DOT3.GIF" alt="Up">Top of page</a>
<hr>
© 2024 Matthew Kukla <a href="rss.xml"><img src="imgs/buttons/RSS.GIF"
alt="RSS feed" style="float:right;" height="20" width="36"></a>
</html>