Compile Time Validation

{fmt}C++

A fast, safe, and modern C++ formatting library providing a type-safe alternative to printf and iostreams.

calibanScala

A purely functional GraphQL library for Scala with minimal boilerplate and compile-time schema validation.

SequoiaOCaml

A type-safe query builder for OCaml that enforces SQL correctness at compile time using the OCaml type system.

FSharp.Text.RegexProviderF#

A type provider for regular expressions in F#, providing compile-time validation and IntelliSense.

IdrisSqliteIdris

Effectful SQLite bindings for Idris with a type provider for compile-time query validation.

GraphProviderF#

A state machine type provider for F# that generates types from graph definitions.

clicrCrystal

A simple declarative command line interface builder for Crystal with compile-time validation.

templatorGo

A type-safe HTML template rendering engine for Go with compile-time validation and generics.

libex_configElixir

Elixir helpers for type-safe access to OTP application configuration with compile-time validation.