Linux shell for iOS

A collection of (mostly) technical things every software developer should know about

A course on homotopy theory and type theory, taught jointly with Jaka Smrekar

An Infinitely Large Napkin

LaTeX code for a paper on lean's type theory

Saves Discord chat logs to a file

Home of the Rust lang team

🌅 Modern WebGL GLSL Shaders Editor

1-4 finger touch controls for viewing a 2D image

Adds estrogen pills into the game!

Verbatim

collection of useful code snippets/userscripts

Create graphs from your CommonJS, AMD or ES6 module dependencies

LYGIA, it's a granular and multi-language (GLSL, HLSL, Metal, WGSL, WEGL and CUDA) shader library designed for performance and flexibility

Complex special functions, numerical linear algebra and statistics in JavaScript

🔥 Open source static (serverless) status page. Uses hyperfast Go & Hugo, minimal HTML/CSS/JS, customizable, outstanding browser support (IE8+), preloaded CMS, read-only API, badges & more.

Draft proposal for additional sub/superscript characters in Unicode

The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.

INVENTED BY TOM: The 1st JSON-Infused Zonal Metadata Language (JIZML) paradigm

A next-generation high-performance operating system focused on enterprise-level resilience

A simple programming language packed with features that compiles straight to JavaScript for perfect in-browser portability.

Convert an SVG to Desmos parametrics. (optimised to work well with SVG fonts)

Discord glossing bot for Ithkuil IV

Provides translations in toki pona for terms which Minecraft's default translations aren't allowed to change.

🌱 a fast, batteries-included static-site generator that transforms Markdown content into fully functional websites

A crate providing functionality for interacting and modifying Ithkuil words in native Rust code.

A collection of data packs to generate and play SkyBlock

Ithkuil font.