Formalization of C++ for verification purposes.
-
Updated
Jun 1, 2024 - Coq
C++ is a popular and widely used mid-level language. It was designed as an extension of the C language.
Formalization of C++ for verification purposes.
This REPO elaborates the continuous practices and activities done with DSA
Reference standalone frontend for clownmdemu.
ChakraCore is an open source Javascript engine with a C API.
Library for Data Decision Diagrams and Set Decision Diagrams
A C++11 library for parsing and serializing JSON to and from a DOM container in memory.
1D fast Moving average filter and Median filter function template, ready to use
Simple C++ concurrency through the power of coroutines and data channels
Generates multi channels sounds from primitives
Boost.GIL - Generic Image Library | Requires C++14 since Boost 1.80
Property file reader for C++, inspired by Java class Properties
FreeDOS plus-plus, 64bit DOS
Repository holding my coding projects created while studying at the University of Colorado Boulder
Higher-order functions for c++
视觉相关的编程语法、计算框架以及视觉库使用
C++ Reflection Library
Implementation of C++17's std::optional for C++11 compilers
Created by Bjarne Stroustrup
Released October 1985