A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.

Use https://github.com/astral-sh/uv with tox

Boto3, an AWS SDK for Python

API Gateway & Lambda AWS Thin Egress App

Tree-based workspace management for Emacs

Creusot helps you prove your Rust code is correct.

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

Apache Iceberg - Go

A native Go implementation of NetCDF4.

Alternative R Frontend — a modern R console written in Rust

Manage Kubernetes clusters with Emacs.

web template editing mode for emacs

High-level netCDF bindings for Rust

direnv integration for emacs

Emacs package to get the GitHub/Bitbucket/GitLab/... URL for a buffer location

The property-based testing library for Python

Python implementation of PVL (Parameter Value Language)

Terminal emulator powered by libghostty

Multiple cursors for evil-mode, inspired by vim-visual-multi

Let-binding values in Elisp completion

3-finger swipe instant space switching on macOS

Minimalist Async Evaluation Framework for R

Compare the structure of two netCDF (or HDF5) files

Memray is a memory profiler for Python

🌈 slog.Handler that writes tinted (colorized) logs