Runtime type and bounds-error checking for C/C++
-
Updated
Dec 18, 2024 - C++
#
type-checking
Here are 8 public repositories matching this topic...
an interpreter for C++
-
Updated
Feb 9, 2020 - C++
flexible type extensions for pandas
data-science types numpy pandas data-engineering conversions data-analysis type-checking type-inference multiple-dispatch
-
Updated
Oct 24, 2025 - C++
Generates runnable x86 assembly code based on a small object-oriented programming language input.
code-generation symbol-table type-checking assembly-x86 bison-flex parser-generation abstract-syntax-trees
-
Updated
Sep 15, 2022 - C++
Programming language designed for the purpose of studying compilation and runtime processes. As a side note, OCaml was also introduced to contrast with imperative languages.
grammars vm parsing cpp ocaml lambda-calculus ast jit lexical-analysis code-generation type-checking compiler-design
-
Updated
Feb 16, 2024 - C++
A C++ program to implement type checking of variable assignments and expressions, simulating a part of the semantic analysis phase of a compiler.
-
Updated
Jun 3, 2025 - C++
Template metaprogramming library originally spun off from CppOrderBook project.
functional-programming monad functor template-metaprogramming monoid combinatorics type-checking parameter-pack type-pack static-typechecking applicative-functor non-type-pack
-
Updated
Aug 15, 2025 - C++
Improve this page
Add a description, image, and links to the type-checking topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the type-checking topic, visit your repo's landing page and select "manage topics."