C++L is C++ with Laws: an ambiguity-free, proof-carrying superset C++ based language in which humans or AIs can specify intent as machine-checkable Laws, implementations are accepted only when those Laws are proven, and all proof machinery erases to ordinary optimized C++ compiled by Clang/LLVM.
C++ Updated about 1 month ago 1 commits 6 stars
nova-coder|Mirror: MattCCC/cppl (⭐6)
about 1 month agoAbout
C++L is C++ with Laws: an ambiguity-free, proof-carrying superset C++ based language in which humans or AIs can specify intent as machine-checkable Laws, implementations are accepted only when those Laws are proven, and all proof machinery erases to ordinary optimized C++ compiled by Clang/LLVM.
Readme
6 stars