My solutions to Tao's Analysis I, formalized in Lean

JS regexes ➕ future. A template tag for readable, high-performance, native JS regexes with extended syntax, context-aware interpolation, and always-on best practices.

The Bluesky Social application for Web, iOS, and Android

my gender,,, made public

🤖 Awesome list for ChatGPT — an artificial intelligence chatbot developed by OpenAI

Fluent Flyouts

Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown

vCluster - Create fully functional virtual Kubernetes clusters - Each vcluster runs inside a namespace of the underlying k8s cluster. It's cheaper than creating separate full-blown clusters and it …

StreamFX is a plugin for OBS® Studio which adds many new effects, filters, sources, transitions and encoders! Be it 3D Transform, Blur, complex Masking, or even custom shaders, you'll find it all h…

Open-source solution for running real-time advertising auctions in the cloud.

The most customisable and low-latency cross platform/shell prompt renderer

Rust Kubernetes client and controller runtime

An emulator for the defunct MMORPG WildStar which supports build 16042 (Final Patch)

Web-based SQL editor

Web Authentication: An API for accessing Public Key Credentials

orangejellyfish website

Babylon.js is a powerful, beautiful, simple, and open game and rendering engine packed into a friendly JavaScript framework.

moved ->

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.

🥑 ArangoDB is a native multi-model database with flexible data models for documents, graphs, and key-values. Build high performance applications using a convenient SQL-like query language or JavaSc…

U2F Authentication for Node.js

🔥 An extremely fast, React-like JavaScript library for building modern user interfaces

Automated ACME SSL certificate generation for nginx-proxy

📚 Freely available programming books

Material UI: Comprehensive React component library that implements Google's Material Design. Free forever.

another three.js and web audio API experiment

Proof of an isomorphic flux application.