OTHER License
Statistics for this project are still being loaded, please check back later.
Formalization of C++ for verification purposes.
Source code for the book Real-Time C++, by Christopher Kormanyos
Full-blown preprocessor metaprogramming
An introduction to language design with building a compiler frontend on top of LLVM.
A collection of out-of-tree Clang plugins for teaching and learning
A simple implementation of Yet another script language Chtholly
MBO, a C++20 library: This C++20 library provides some general useful building blocks and integra...
The NIMBLE Programming Language