diff options
| -rw-r--r-- | index.html | 21 |
1 files changed, 10 insertions, 11 deletions
diff --git a/index.html b/index.html index 9a53ed3..2c83fb5 100644 --- a/index.html +++ b/index.html @@ -23,7 +23,8 @@ <p>User sites are accessible via <code>https://<user>.tilde.institute</code></p> <p style="margin-top:-1.0rem">A list of user gopher sites are available at <code>gopher://tilde.institute</code></a></p> <p>Mailing list now available for tilde.institute! Web archive and <a href="https://lists.tildeverse.org/postorius/lists/institute.lists.tildeverse.org/">subscribing information available here</a>. The mailing list will be the primary means of communication between tilde.institute and users regarding announcements and critical issues.</p> - <p>The list of compilers available are as follows:</p> + <p>We have a local <code>GitBucket</code> instance for users to enjoy, available here: <a href="https://git.tilde.institute">https://git.tilde.institute</a>.</p> + <p>The list of compilers and interpreters available are as follows:</p> <ul> <li><code>brainf*ck 2.7.1</code></li> <li><code>clang 7.0.1</code></li> @@ -38,22 +39,20 @@ <li><code>go 1.13</code></li> <li><code>guile 1.8.8</code></li> <li><code>jdk 11.0.2.9.3 (environment setup required)</code></li> + <li><code>lua 5.3.5</code></li> <li><code>mono 5.18.1</code></li> <li><code>nasm 2.14.02</code></li> <li><code>nim 0.16.0</code></li> - <li><code>racket 7.2</code></li> - <li><code>rust 1.33.0</code></li> - <li><code>scala 2.12.3</code></li> - <li><code>yasm 1.3.0</code></li> - </ul> - <p>We also provide non-HTTP access to various interpreted languages:</p> - <ul> - <li><code>lua 5.3.5</code></li> <li><code>node.js 10.15</code></li> <li><code>perl 5.28.1</code></li> + <li><code>php 7.3</code></li> <li><code>python (2.7 & 3.6)</code></li> + <li><code>racket 7.2</code></li> <li><code>ruby 2.5 (and 2.6)</code></li> - </ul> + <li><code>rust 1.33 (1.37 will be available after November 2019's release of OpenBSD 6.6)</code></li> + <li><code>scala 2.12.3</code></li> + <li><code>yasm 1.3.0</code></li> + </ul> <p>Your interactive shell can be changed with the <code>chsh</code> command. The shells available:</p> <ul> <li><code>/bin/ksh (default)</code></li> @@ -72,7 +71,7 @@ <li><code>irssi</code></li> <li><code>ircII</code></li> </ul> - <p>Feel free to contact the admins via <a href="mailto:admins@tilde.institute">admins@tilde.institute</a> or on IRC in <code>#institute</code> if you need another package installed, or if you would like your homepage's index changed from <code>index.html</code> to something else (<code>index.cgi</code>, <code>index.php</code>, etc). We can also provide access to <code>MariaDB</code> by request.</p> + <p>Feel free to contact the admins via <a href="mailto:admins@tilde.institute">admins@tilde.institute</a> or on IRC in <code>#institute</code> if you need another package installed, or if you would like your homepage's index changed from <code>index.html</code> to something else (<code>index.cgi</code>, <code>index.php</code>, etc).</p> <div id="news"> <h1>News & Updates</h1> <em>2019 September 15</em> |