1 repo
Awesome GitHub RepositoriesNumeric Type Systems
Mechanisms for defining and validating numeric types and literals at compile-time.
Distinguishing note: Focuses on type-level numeric validation rather than general-purpose arithmetic libraries.
Explore 1 awesome GitHub repository matching programming languages & runtimes · Numeric Type Systems. Refine with filters or upvote what's useful.
Awesome Numeric Type Systems GitHub Repositories
Find the best repos with AI.We'll search the best matching repositories with AI.
- carbon-language/carbon-lang
carbon-language/carbon-lang
33,637View on GitHubCarbon is an experimental, compiled systems programming language designed as a successor to C++. It focuses on providing a high-performance environment for modern software development while prioritizing memory safety and expressive generic programming. The language is built to support performance-critical engineering, allowing for precise control over memory layout and execution flow. A primary differentiator of the project is its bidirectional interoperability with existing C++ codebases. This allows developers to call functions and share data between languages without manual wrappers, facil
Enables compile-time validation of mathematical operations by encoding numeric values directly into the type system.
C++carbon-langcompilercpp
