Productive, portable, and performant GPU programming in Python.

Terminal emulator powered by libghostty

Fil-C: completely compatible memory safety for C and C++

Paredit-inspired navigation on top of treesitter

Brings your favorite AI agents to Emacs, keeping you at home: familiar buffers and bindings, no terminal emulation. Powered by ACP.

Presentation notes from JMU Unix Users Group meetings

An experimental tool to assist moving infra from Terraform to Pulumi

Strata Cloud Manager provider

Assists migrating CDK-managed infrastructure to pulumi-cdk.

A framework for building Go Providers for Pulumi

A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with git. Stored as pure Python. All in a modern, AI-native editor.

Community guide to using YubiKey for GnuPG and SSH - protect secrets with hardware crypto.

Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.

Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

Go linter that checks for required fields in structs.

Coding assistant MCP for Claude Desktop

Run Go test or subtest at point

An unofficial Copilot plugin for Emacs.

My blog.

You like pytorch? You like micrograd? You love tinygrad! ❤️

An Emacs facade for ChatGPT

A simple, extensible LLM client for Emacs

Tool for inferring schema types of TF modules

Pulumi support for ̶A̶n̶y̶ ̶l̶a̶n̶g̶u̶a̶g̶e̶ Rust

EXPERIMENTAL support for running Terraform Modules directly in Pulumi.

A JIT Compiler and Runtime for Java in Common Lisp

Pulumi/CDK Interop Library

Haskell language support for Pulumi λ