Formalization of C++ for verification purposes.
-
Updated
Jun 1, 2024 - Coq
Formalization of C++ for verification purposes.
Heimer is a simple cross-platform mind map, diagram, and note-taking tool written in Qt.
Static reflection for enums (to string, from string, iteration) for modern C++, work with any enum type without any macro or boilerplate code
Production-ready C++ Asynchronous Framework with rich functionality
JNI Bind is a set of advanced syntactic sugar for writing efficient correct JNI Code in C++17 (and up).
Sonic the Hedgehog sprite editor, portable clone of Xenowhirl's SonMapEd.
Library for reading and writing the assets of Mega Drive Sonic the Hedgehog games.
The official C++ client API for PostgreSQL.
A library of supporting code for numerical modelling (JSON config, HDF5 data, Modern OpenGL visualization)
「秀丸マクロ」と「C++」を シームレスに扱えるようにするライブラリ。 loaddll経由。
Nazara Engine is a cross-platform framework aimed at (but not limited to) real-time applications requiring audio, 2D and 3D real-time rendering, network and more.
High-performance 2d and 3d game engine with Vulkan and OpenGL backends [WIP]
Collection of useful C++ classes
Copy folder recursively Windows Linux
Jolt Physics raylib ⚡️ trying Jolt C++ game development physics library with raylib in a 3D hello world 🎱 bouncing sphere example.
LuaU sources packaged into two files for easy embedding (just copy+paste them into your project).
1D fast Moving average filter and Median filter function template, ready to use
A free open source cross-platform C++ library for parsing ODB++ Design archives, accessing their data, and building net list product models. Exposed via a REST API packaged inside of a Docker image.
Commandline program for displaying ascii character animations.
Add a description, image, and links to the cplusplus-17 topic page so that developers can more easily learn about it.
To associate your repository with the cplusplus-17 topic, visit your repo's landing page and select "manage topics."