Interactive playground for exploring and sharing TLA+ specifications in the browser.

ONNX neural network inference engine

HCP Command-Line Interface

A platform co-operative for musicians and fans

A Ember modifier to trap your focus.

☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!

A test app for waypoint's gitops with pack

A service to advertise records for Kubernetes resources on a LAN over multicast DNS.

Protocol Buffers - Google's data interchange format

Structure (aka "PDS") [deprecated]

Waypoint Plugin SDK enables building plugins for Waypoint: builders, deployment platforms, release managers, and more.

Open-source project. Tracking the available automation for accessibility. What a11y failures can be linted & tested for in an automated fashion?

gRPC for Web Clients

A tool to build, deploy, and release any application on any platform.

Build your own learning curriculum to learn anything!

An open-source colour picker app for macOS

A Rust compiler front-end for IDEs

Are we web yet? A simple reckoning of Rust's readiness for Web-related things.

The Rust package registry

A list of established remote companies

A ✨ magical ✨ Svelte preprocessor with sensible defaults and support for: PostCSS, SCSS, Less, Stylus, Coffeescript, TypeScript, Pug and much more.

TLA+ language support for Visual Studio Code

For when people get too hyped up about things

Marks issues and pull requests that have not had recent interaction

Beautiful math equation rendering on iOS and MacOS

Rails app for managing a conference CFP

Create beautiful diagrams just by typing notation in plain text.

a cheat-sheet for mathematical notation in code form