Compile Time Safety

dieselRust

A safe, extensible ORM and Query Builder for Rust that eliminates boilerplate and runtime errors without sacrificing performance.

libextobjcObjective-C

A modular Objective-C library that extends the language with safe categories, concrete protocols, compile-time checks, and other patterns.

YesodHaskell

A RESTful Haskell web framework that guarantees safety and performance at compile time.

NeedleSwift

A compile-time safe Swift dependency injection framework that uses code generation to ensure reliability.

ServantHaskell

A Haskell DSL for describing, serving, querying, mocking, and documenting web applications using type-level programming.