type_safe
Type checker library
A set of C++ utilities to prevent bugs at compile time using the type system.
Zero overhead utilities for preventing bugs at compile time
2k stars
64 watching
118 forks
Language: C++
last commit: 3 months ago
Linked from 1 awesome list
c-plus-plustype-safety
Related projects:
Repository | Description | Stars |
---|---|---|
foonathan/tiny | A C++11 library for minimizing the size of types by using bit-twiddling and other low-level techniques. | 111 |
contains-io/typet | A Python library that simplifies type checking and validation in object-oriented coding | 22 |
foonathan/array | A container library providing customizable arrays with various allocation strategies and optimized storage. | 252 |
safe-stack/safe-template | A template for building SAFE-Stack projects using dotnet CLI | 283 |
boostorg/safe_numerics | Replaces standard numeric types with exception-throwing versions to prevent undefined behavior due to integer overflow | 210 |
foonathan/string_id | A C++ library providing hashed string identifiers with optional access to the original string value and collision detection. | 184 |
doom/strong_type | A C++ library providing strong typing by wrapping existing types with additional meaning and preventing unwanted conversions. | 53 |
nicup14/minilang | A modern, type-safe C successor with a focus on memory safety and ease of use. | 139 |
vitalets/babel-plugin-runtyper | An add-on to JavaScript code analysis that detects and prevents type-coercion bugs during runtime. | 116 |
felixthec/strongtyping | A decorator that checks function parameters at runtime for correct type compatibility. | 111 |
emludei/checktype | A decorator that checks function arguments and return types at runtime. | 0 |
mplanchard/safetywrap | Typesafe wrappers for handling errors and absent data in Python | 44 |
orsinium-labs/typeforce | A tool to simplify Python package maintenance by automating type checking and stub installation. | 19 |
siddhuwarrier/python-typeutils | A utility library that provides a type checking decorator for Python functions. | 1 |