t0yv0

t0yv0's Stars

• pulumi/pulumi

  Pulumi - Infrastructure as Code in any programming language 🚀

  Language:Go22.2k1927.7k1.1k

• fermyon/spin

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

  Language:Rust5.6k44995260

• emacs-lsp/lsp-mode

  Emacs client/library for the Language Server Protocol

  Language:Emacs Lisp4.8k892k897

• model-checking/kani

  Kani Rust Verifier

  Language:Rust2.3k231.7k98

• minad/consult

  :mag: consult.el - Consulting completing-read

  Language:Emacs Lisp1.3k17826109

• coalton-lang/coalton

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

  Language:Common Lisp1.2k3243371

• fsbolero/Bolero

  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, and more.

  Language:F#1.1k5227854

• jfyne/live

  Live views and components for golang

  Language:Go664191727

• purcell/envrc

  Emacs support for direnv which operates buffer-locally

  Language:Emacs Lisp389114635

• marwan-at-work/mod

  Automated Semantic Import Versioning Upgrades

  Language:Go37771524

• alphapapa/activities.el

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

  Language:Emacs Lisp23677014

• pulumi/esc

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

  Language:Go230171999

• astoff/code-cells.el

  Emacs utilities for code split into cells, including Jupyter notebooks

  Language:Emacs Lisp19643113

• jkitchin/ox-ipynb

  org-mode exporter to Jupyter notebooks

  Language:Jupyter Notebook176104640

• cacheMon/libCacheSim

  a high performance cache simulator and library

  Language:C98477

• pulumi/pulumi-java

  Java support for Pulumi

  Language:Java702541321

• VirtuslabRnD/pulumi-kotlin

  Experimental support for Kotlin language in Pulumi

  Language:Kotlin6251323

• pulumi/setup-pulumi

  GitHub Action to install the Pulumi CLI

  Language:TypeScript45221215

• pulumi/pulumi-lsp

  A LSP server for Pulumi YAML

  Language:Go2217230

• pulumi/pulumi-docker-containers

  Definitions for official Pulumi Docker images.

  Language:Dockerfile201414523

• brandonkal/pulumi-command

  A Pulumi resource provider for running commands

  Language:Go15231

• pulumiverse/terraform-provider-pulumi

  A Terraform Provider to consume Pulumi Cloud outputs

  Language:Go14833

• pulumi/schema-tools

  Tools to analyze Pulumi schemas

  Language:Go719261

• cloudy-sky-software/pulumi-provider-framework

  A framework for building native Pulumi providers

  Language:Go62100

• hashicorp/terraform-plugin-framework-jsontypes

  JSON String Custom Types for Terraform Plugin Framework

  Language:Go5101

• pulumi/providertest

  Incubating facilities for testing Pulumi providers

  Language:Go5753

• pulumi/pulumi-trace-tool

  CLI tool for parsing files produced by `pulumi --tracing file:./up.trace`

  Language:Go52201

• t0yv0/pus

  Pulumi Schema Tool

  Language:Go3200

• nyobe/pulumi-flake

  Repackaging Pulumi CLI as a flake

  Language:Nushell20

• pulumi/splitschema

  Efficient and human-friendly schema serialisation

  Language:Go250