Tool for inferring schema types of TF modules

Pulumi support for 𝐀𝐧𝐲 language

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 λ

Paredit-inspired navigation on top of treesitter

A clean, Markdown-based publishing platform made for writers. Write together and build a community.

Atomic secret provisioning for NixOS based on sops

Standalone example for Pulumi Gestalt

Automated Semantic Import Versioning Upgrades

Spin is the open source developer tool for building and running serverless applications powered by WebAssembly.

Repackaging Pulumi CLI as a flake

Tools to analyze Pulumi schemas

Definitions for official Pulumi Docker images.

Kani Rust Verifier

a high performance cache simulator and library

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

JSON String Custom Types for Terraform Plugin Framework

Emacs utilities for code split into cells, including Jupyter notebooks

org-mode exporter to Jupyter notebooks

A framework for building native Pulumi providers

Efficient and human-friendly schema serialisation

Pulumi Schema Tool

Activities for Emacs (suspend and resume activities, i.e. frames/tabs and their windows, buffers)

Live views and components for golang

Emacs support for direnv which operates buffer-locally

Bolero brings Blazor to F# developers with an easy to use Model-View-Update architecture, HTML combinators, hot reloaded templates, type-safe endpoints, advanced routing and remoting capabilities, …

Pulumi ESC is a centralized, secure service for environments, secrets, and configuration management, optimized for multi-cloud infrastructures and applications.

Incubating facilities for testing Pulumi providers