Repositories list

• terraform-provider-formal

  Public

  formalco/terraform-provider-formal’s past year of commit activity
  Terraform Provider for Formal

  Go

  •

  Mozilla Public License 2.0

  •33 forks•33 stars•00 issues•99 pull requests•Updated Apr 20, 2026Apr 20, 2026

• helm-charts

  Public

  formalco/helm-charts’s past year of commit activity
  Formal Helm Charts

  Go Template

  •33 forks•22 stars•00 issues•00 pull requests•Updated Apr 16, 2026Apr 16, 2026

• datafusion-sqlparser-rs

  Public

  formalco/datafusion-sqlparser-rs’s past year of commit activity
  Extensible SQL Lexer and Parser for Rust

  Rust

  •

  Apache License 2.0

  •711711 forks•00 stars•00 issues•00 pull requests•Updated Apr 15, 2026Apr 15, 2026

• decrypt-lambda

  Public
  HCL

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 30, 2026Mar 30, 2026

• sspi-rs

  Public

  formalco/sspi-rs’s past year of commit activity
  A Rust implementation of the Security Support Provider Interface (SSPI) API

  Rust

  •

  Apache License 2.0

  •3333 forks•00 stars•00 issues•22 pull requests•Updated Mar 21, 2026Mar 21, 2026

• formal-metabase-sync-worker

  Public
  Go

  •22 forks•00 stars•00 issues•11 pull request•Updated Mar 10, 2026Mar 10, 2026

• IronRDP

  Public

  formalco/IronRDP’s past year of commit activity
  Rust implementation of the Microsoft Remote Desktop Protocol (RDP)

  Rust

  •

  Apache License 2.0

  •189189 forks•00 stars•00 issues•00 pull requests•Updated Mar 4, 2026Mar 4, 2026

• pulumi-formal

  Public

  formalco/pulumi-formal’s past year of commit activity
  Pulumi Provider for Formal

  Makefile

  •

  Mozilla Public License 2.0

  •00 forks•00 stars•00 issues•99 pull requests•Updated Mar 1, 2026Mar 1, 2026

• go-mysql

  Public
  a powerful mysql toolset with Go

  Go

  •

  MIT License

  •1.1k1.1k forks•00 stars•00 issues•11 pull request•Updated Feb 19, 2026Feb 19, 2026

• pulumi-registry

  Public

  formalco/pulumi-registry’s past year of commit activity
  The Pulumi Registry contains detailed API docs and guides for Pulumi IaC providers

  HTML

  •

  Apache License 2.0

  •135135 forks•00 stars•00 issues•1111 pull requests•Updated Feb 11, 2026Feb 11, 2026

• go-sdk

  Public
  Formal Go SDK

  Go

  •00 forks•22 stars•00 issues•11 pull request•Updated Jan 29, 2026Jan 29, 2026

• marketing-demos

  Public
  TypeScript

  •00 forks•00 stars•00 issues•11 pull request•Updated Jan 28, 2026Jan 28, 2026

• formal-overlay

  Public
  Formal Nix expressions

  Nix

  •00 forks•22 stars•00 issues•00 pull requests•Updated Nov 25, 2025Nov 25, 2025

• session-manager-plugin

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

  Go

  •

  Apache License 2.0

  •9494 forks•55 stars•00 issues•11 pull request•Updated Nov 20, 2025Nov 20, 2025

• claude-code-action

  Public
  TypeScript

  •

  MIT License

  •1.7k1.7k forks•00 stars•00 issues•00 pull requests•Updated Sep 30, 2025Sep 30, 2025

• homebrew-formal

  Public
  Ruby

  •00 forks•00 stars•00 issues•00 pull requests•Updated Sep 10, 2025Sep 10, 2025

• rpcglue

  Public
  Generate typed Golang RPC clients from server code

  Go

  •

  MIT License

  •33 forks•00 stars•00 issues•00 pull requests•Updated Sep 9, 2025Sep 9, 2025

• gcp-terraform-autodiscovery

  Public
  HCL

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 27, 2025Aug 27, 2025

• end-user-credentials-lambda

  Public
  TypeScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 20, 2025Apr 20, 2025

• ssm-session-client

  Public
  A golang implementation of the protocol used with AWS SSM sessions

  Go

  •

  MIT License

  •3535 forks•00 stars•00 issues•22 pull requests•Updated Apr 16, 2025Apr 16, 2025

• c1-baton-formal

  Public
  Go

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•33 pull requests•Updated Feb 26, 2025Feb 26, 2025

• pg_query_go

  Public archive
  Go library to parse and normalize SQL queries using the PostgreSQL query parser

  C

  •

  BSD 3-Clause "New" or "Revised" License

  •9191 forks•00 stars•00 issues•11 pull request•Updated Jan 31, 2025Jan 31, 2025

• sqlcommenter

  Public
  Formal SQL commenter

  Python

  •11 fork•00 stars•00 issues•00 pull requests•Updated Nov 12, 2024Nov 12, 2024

• typeid

  Public
  Go implementation of TypeIDs: type-safe, K-sortable, and globally unique identifiers inspired by Stripe IDs

  Go

  •

  Apache License 2.0

  •1212 forks•00 stars•00 issues•00 pull requests•Updated Jan 3, 2024Jan 3, 2024

• formal-datahub

  Public
  Python

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Sep 14, 2023Sep 14, 2023

• backoffice-demo-django

  Public
  Python

  •

  MIT License

  •00 forks•00 stars•00 issues•2121 pull requests•Updated May 16, 2023May 16, 2023