Formalization of C++ for verification purposes.
-
Updated
Jun 1, 2024 - Coq
Formalization of C++ for verification purposes.
❤️ SQLite ORM light header only library for modern C++
Crowd Simulation 23/24 (@UtrechtUniversity) course project simulating 15k+ zombies in real-time
This repository contains the prototype of an mmorpg with a custom engine, built entirely in C++. It contains the client, tools and servers. The goal of this project is to have a vertical slice of an MMORPG which is playable.
Boost.Geometry - Generic Geometry Library | Requires C++14 since Boost 1.75
1D fast Moving average filter and Median filter function template, ready to use
Commandline program for displaying ascii character animations.
Generates multi channels sounds from primitives
HeaderOnly STL-like template N-dimensional R*Tree implementation on C++14
std::tuple like methods for user defined types without any macro or boilerplate code
Simple OpenGL and Vulkan graphics demos in C++
Fast, modern C++ DSP framework, FFT, Sample Rate Conversion, FIR/IIR/Biquad Filters (SSE, AVX, AVX-512, ARM NEON)
Object recognition tool
various c++ utility classes
Higher-order functions for c++
A small C++ wrapper for the native C ODBC API | Requires C++14 since v2.12
C++ Insights - See your source code with the eyes of a compiler
a Candlestick Technical analysis toolkit Lite for stock market. ability to use c++14 edit your technical indicators on this app lite. especially gpgpu with opengl or dx11.
Add a description, image, and links to the cplusplus-14 topic page so that developers can more easily learn about it.
To associate your repository with the cplusplus-14 topic, visit your repo's landing page and select "manage topics."