Highlights
- Pro
Stars
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
LaTeX code for a paper on lean's type theory
1-4 finger touch controls for viewing a 2D image
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)
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