Tutorial on modeling with TLA+

Use your Mac trackpad as a weighing scale

Notes on moving tools and libraries to Rust.

Drag and Drop for sortable lists in Elm web apps with mouse support

Staging repo for development of native port of TypeScript

A robust virtual DOM for Elm.

Generate Elm modules from annotated Typescript web components

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

Turso is an in-process SQL database, compatible with SQLite.

Generate code for json encoders/decoders, codecs, fuzzers, generators, and more

Native WebGPU implementation. Mirror of https://dawn.googlesource.com/dawn. File bugs here: https://crbug.com/dawn/new

Guitar Pro tablature player.

A fork of elm/compiler adding sourcemaps

A webfont of the typeface used in Edward Tufte’s books.

Truly independent web browser

The financial transactions database designed for mission critical safety and performance.

A JavaScript framework to create and visualize 3D models.

Beautiful fluid-like Mesh Gradients in Flutter

German laws from https://www.gesetze-im-internet.de/ in plain text format (updated daily)

Multiline TextBox for the embedded-graphics Rust crate

use loriini in neovim

A no_std graphics library for embedded applications

🚀 Glide Data Grid is a no compromise, outrageously fast react data grid with rich rendering, first class accessibility, and full TypeScript support.

Penpot: The open-source design tool for design and code collaboration

A massively parallel, optimal functional runtime in Rust

A simple multiplayer town builder game

Fast Rust bundler for JavaScript/TypeScript with Rollup-compatible API.

A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

NixOS-like services for Nix flakes