Vector and raster maps with GL styles. Server side rendering by MapLibre GL Native. Map tile server for MapLibre GL JS, Android, iOS, Leaflet, OpenLayers, GIS via WMTS, etc.

Code powering the π-Base

Lean 4 formalisation of the pi-base.

A community database of topological counterexamples

🌿 Fast streaming XML parser written in C99 with >90% test coverage; moved from SourceForge to GitHub

lists of various prime numbers in textfiles

Fast C++ logging library.

A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.

Code supporting the educational YouTube video https://youtu.be/tpzd-e1svXk

VST plugin that can rotate the frequency spectrum of any sample.

General Multi-Precision arithmetic for Python (GMP, MPIR, MPFR, MPC)

A tacit array programming language

Easy to use OpenStreetMap editor for Android

Desmos golfing website for submitting desmos golf challenges.

A guidebook for getting started with writing LaTeX (catered to the IB curriculum)

Ukrainian translation for Rust book

telegram bot for control group

The main repository of Telegram X — official alternative Telegram client for Android.

A safe, easy systems language

a brainfuck interpreter supporting linux syscalls with an example HTTP server

AutoHotKey (AHK) script to map MIDI inputs to keyboard shortcuts or macros

Terminal disk space navigator 🔭

The find/replace box in Notepad++ is Turing Complete

Melody is a language that compiles to regular expressions and aims to be more readable and maintainable

A high performance python technical analysis library written in Rust and the Numpy C API.

curl-impersonate: A special build of curl that can impersonate Chrome & Firefox