Skip to content
Change the repository type filter

All

    Repositories list

    • Terraform Provider for Formal
      Go
      Mozilla Public License 2.0
      3308Updated Mar 11, 2026Mar 11, 2026
    • sspi-rs

      Public
      A Rust implementation of the Security Support Provider Interface (SSPI) API
      Rust
      Apache License 2.0
      33001Updated Mar 11, 2026Mar 11, 2026
    • Go
      2001Updated Mar 10, 2026Mar 10, 2026
    • IronRDP

      Public
      Rust implementation of the Microsoft Remote Desktop Protocol (RDP)
      Rust
      Apache License 2.0
      172000Updated Mar 4, 2026Mar 4, 2026
    • Pulumi Provider for Formal
      Makefile
      Mozilla Public License 2.0
      0009Updated Mar 1, 2026Mar 1, 2026
    • Formal Helm Charts
      Go Template
      3200Updated Feb 24, 2026Feb 24, 2026
    • go-mysql

      Public
      a powerful mysql toolset with Go
      Go
      MIT License
      1.1k001Updated Feb 19, 2026Feb 19, 2026
    • The Pulumi Registry contains detailed API docs and guides for Pulumi IaC providers
      HTML
      Apache License 2.0
      1380011Updated Feb 11, 2026Feb 11, 2026
    • go-sdk

      Public
      Formal Go SDK
      Go
      0201Updated Jan 29, 2026Jan 29, 2026
    • TypeScript
      0001Updated Jan 28, 2026Jan 28, 2026
    • Formal Nix expressions
      Nix
      0200Updated Nov 25, 2025Nov 25, 2025
    • 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
      93501Updated Nov 20, 2025Nov 20, 2025
    • HCL
      0000Updated Oct 19, 2025Oct 19, 2025
    • TypeScript
      MIT License
      1.5k000Updated Sep 30, 2025Sep 30, 2025
    • Extensible SQL Lexer and Parser for Rust
      Rust
      Apache License 2.0
      696000Updated Sep 29, 2025Sep 29, 2025
    • Ruby
      0000Updated Sep 10, 2025Sep 10, 2025
    • rpcglue

      Public
      Generate typed Golang RPC clients from server code
      Go
      MIT License
      3000Updated Sep 9, 2025Sep 9, 2025
    • HCL
      0000Updated Aug 27, 2025Aug 27, 2025
    • TypeScript
      0000Updated Apr 20, 2025Apr 20, 2025
    • A golang implementation of the protocol used with AWS SSM sessions
      Go
      MIT License
      35002Updated Apr 16, 2025Apr 16, 2025
    • Go
      Apache License 2.0
      0003Updated 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
      93001Updated Jan 31, 2025Jan 31, 2025
    • Formal SQL commenter
      Python
      1000Updated 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
      14000Updated Jan 3, 2024Jan 3, 2024
    • Python
      MIT License
      0000Updated Sep 14, 2023Sep 14, 2023
    • Python
      MIT License
      00021Updated May 16, 2023May 16, 2023