Whole value idiom made easy in C++
-
Updated
Oct 18, 2012 - C++
Whole value idiom made easy in C++
A formalisation of PCF in Agda using naive nominal binding
“String is not a sufficient type: how using your type system can help you make better software”
Type-wrappers for Flow, quickly defined with ES6 classes.
Selective marshalling of structs to JSON in Go.
A specification language of JSON objects for statically typed languages
Type-safe and human-readable set of bool flags
A set of dry-types to ensure type safety for common objects
C#.NET TypeSafeEnum cardinal directions.
A scala-js-dom library that replaces nullable return types T with Option[T].
WartRemover warts for Scala.js.
A collection of awesome things regarding PureScript.
A Javascript type checking system with inference
Static type checking for pure JavaScript
Little toy programming language with an x86_64 code generator
Add a description, image, and links to the type-safety topic page so that developers can more easily learn about it.
To associate your repository with the type-safety topic, visit your repo's landing page and select "manage topics."