Madness enables you to easily run the same binary on NixOS and non-NixOS systems

Tracking WebAssembly proposals

TC39 Proposal to remove common leading indentation from multiline template strings

Methods for working with iterators in ECMAScript

WebGL demos, but flat. Because it's more hackable that way.

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Think tmux, then aim... lower

This tool visualizes the location of the scanners.

Lean 4 programming language and theorem prover

Install a Zig compiler for usage in GitHub Actions workflows.

The goal of the Package Metadata Interoperability Collab Space is to improve how JavaScript developers define their packages across the ecosystem. The group is currently working to better understan…

The open-source browser made for headless usage

A memory profiler for Linux.

A comprehensive test suite for RFC 8259 compliant JSON parsers

A from-scratch experimental AOT JS engine, written in JS

A massively parallel, high-level programming language

an scdoc compatible manpage compiler for build.zig

🛡 I2P: End-to-End encrypted and anonymous Internet

Follow-on Proposal to ECMAScript Explicit Resource Management to enforce `using` for some resources

A proposal to introduce negated in and instanceof operators to JavaScript

ECMAScript Explicit Resource Management

a proposal to add a method to iterators for producing an iterator of its subsequences

TC39 proposal for Uint8Array<->base64/hex

The “Quite OK Audio Format” for fast, lossy audio compression

A proposal to add signals to JavaScript.

☁️ The SCSS framework for the modern web.

Spectre.css - A Lightweight, Responsive and Modern CSS Framework