#

type-driven-design

Here are 5 public repositories matching this topic...

lucaswkuipers / SafeTypes

Swift Library to improve type safety in Swift.

swift swift-library swift-package-manager spm type-driven-development swift-package type-driven-design

Updated Mar 5, 2024
Swift

cao-awa / CaperTML

CaperTML is a strong typed DSL-style html template generator for kotlin.

kotlin html template dsl html-generator type-driven-design correctness-by-construction

Updated Jan 29, 2026
Kotlin

lucaswkuipers / SafeTypesMacros

Macros for compile-time SafeTypes initializers from literals

swift swift-package-manager macros spm macro type-driven-development swift-package type-driven-design swift-macros swift-macro

Updated Mar 5, 2024
Swift

MRGRAVITY817 / mailcrab

An email subscription manager, highly tested and traced.

rust tracing tokio email-manager actix-web type-driven-design

Updated Jun 15, 2022
Rust

guiPython / ufabc-type-driven-development

Type Driven Development.

type-driven-development type-driven-design

Updated Aug 27, 2022
Haskell

Improve this page

Add a description, image, and links to the type-driven-design topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the type-driven-design topic, visit your repo's landing page and select "manage topics."