Skip to content
@formalco

Formal

Popular repositories Loading

  1. session-manager-plugin session-manager-plugin Public

    Forked from aws/session-manager-plugin

    This plugin helps you to use the AWS Command Line Interface (AWS CLI) to start and end sessions to your managed instances

    Go 5 1

  2. terraform-provider-formal terraform-provider-formal Public

    Terraform Provider for Formal

    Go 3 3

  3. go-sdk go-sdk Public

    Formal Go SDK

    Go 2

  4. helm-charts helm-charts Public

    Formal Helm Charts

    Go Template 2 3

  5. formal-overlay formal-overlay Public

    Formal Nix expressions

    Nix 2

  6. sqlcommenter sqlcommenter Public

    Formal SQL commenter

    Python 1

Repositories

Showing 10 of 26 repositories
  • IronRDP Public Forked from Devolutions/IronRDP

    Rust implementation of the Microsoft Remote Desktop Protocol (RDP)

    formalco/IronRDP’s past year of commit activity
    Rust 0 Apache-2.0 183 0 0 Updated Mar 3, 2026
  • terraform-provider-formal Public

    Terraform Provider for Formal

    formalco/terraform-provider-formal’s past year of commit activity
    Go 3 MPL-2.0 3 0 7 Updated Mar 2, 2026
  • sspi-rs Public Forked from Devolutions/sspi-rs

    A Rust implementation of the Security Support Provider Interface (SSPI) API

    formalco/sspi-rs’s past year of commit activity
    Rust 0 Apache-2.0 32 0 0 Updated Mar 2, 2026
  • pulumi-formal Public

    Pulumi Provider for Formal

    formalco/pulumi-formal’s past year of commit activity
    Makefile 0 MPL-2.0 0 0 9 Updated Mar 1, 2026
  • helm-charts Public

    Formal Helm Charts

    formalco/helm-charts’s past year of commit activity
    Go Template 2 3 0 0 Updated Feb 24, 2026
  • go-mysql Public Forked from go-mysql-org/go-mysql

    a powerful mysql toolset with Go

    formalco/go-mysql’s past year of commit activity
    Go 0 MIT 1,120 0 1 Updated Feb 19, 2026
  • pulumi-registry Public Forked from pulumi/registry

    The Pulumi Registry contains detailed API docs and guides for Pulumi IaC providers

    formalco/pulumi-registry’s past year of commit activity
    HTML 0 Apache-2.0 138 0 11 Updated Feb 11, 2026
  • go-sdk Public

    Formal Go SDK

    formalco/go-sdk’s past year of commit activity
    Go 2 0 0 1 Updated Jan 29, 2026
  • marketing-demos Public
    formalco/marketing-demos’s past year of commit activity
    TypeScript 0 0 0 1 Updated Jan 28, 2026
  • formal-metabase-sync-worker Public
    formalco/formal-metabase-sync-worker’s past year of commit activity
    Go 0 2 0 1 Updated Jan 23, 2026
View all repositories

Top languages

Loading…

Most used topics

Loading…