Projects in Awesome Lists tagged with type-driven-development
A curated list of projects in awesome lists tagged with type-driven-development .
https://github.com/paulcadman/the-little-typer
Resources for "The Little Typer" study group
dependent-types racket study-group the-little-typer type-driven-development
Last synced: 01 Mar 2025
https://github.com/farlee2121/fsspec
FsSpec represents value constraints as data to reuse one constraint declaration for validation, data generation, error explanation, and more.
data-generation type-driven-development validation
Last synced: 15 Apr 2025
https://github.com/lucaswkuipers/safetypes
Swift Library to improve type safety in Swift.
spm swift swift-library swift-package swift-package-manager type-driven-design type-driven-development
Last synced: 08 Sep 2025
https://github.com/lucaswkuipers/safetypesmacros
Macros for compile-time SafeTypes initializers from literals
macro macros spm swift swift-macro swift-macros swift-package swift-package-manager type-driven-design type-driven-development
Last synced: 23 Apr 2025
https://github.com/jabrena/type-problems
A set of problems to improve your skills with TyDD, Type Driven Development with Java and some additional Functional libraries
effects monads optional tydd type-driven-development
Last synced: 04 Feb 2026
https://github.com/fr33m0nk/type-driven-functional-programming
Typedriven Functional programming in Typescript targeting Bun runtime
bun functional-programming type-driven-development typescript
Last synced: 12 Oct 2025
https://github.com/yurrriq/tdd-with-idris
:book: Working through Type-Driven Development with Idris
dependent-types functional-programming idris learning theorem-proving type-driven-development
Last synced: 08 Feb 2026
https://github.com/rvarago/cpp_refined
*EXPERIMENTAL* Types + Predicates in C++, sort-of
cpp cpp20-library refinement-types type-driven-development
Last synced: 12 Sep 2025
https://github.com/bkase/idris-book
Going through exercises in the Type Driven Development book
book excercises idris type-driven-development
Last synced: 09 Feb 2026
