egladysh / metamathLinks
Meta mathematics. Symbolic functions and derivatives.
☆32Updated 7 years ago
Alternatives and similar repositories for metamath
Users that are interested in metamath are comparing it to the libraries listed below
Sorting:
- Named arguments for C++17☆31Updated 3 months ago
- mathiu : a simple computer algebra system in C++.☆80Updated 4 years ago
- Implicit and module-aware build system for future C++☆20Updated 9 years ago
- A game in which social media site has to survive waves of Zombies in SFML C++☆16Updated 5 years ago
- Example of C++ project skeleton with Meson Build and doctest (or Catch)☆28Updated 7 years ago
- A C++ algorithm library that extends the C++ standard algorithms found in <algorithm> & <numeric>☆22Updated 4 years ago
- GUI application for DoxyPress☆25Updated 7 months ago
- A small little tool for dumping a floating-point number in its native format☆55Updated 10 years ago
- A header-only, modern C++, library for terminal colours and cursor manipulation☆17Updated 7 years ago
- Shader-Like Mathematical Expression JIT Engine for C++ Language☆59Updated 6 years ago
- The Numerical Template Toolbox - C++ Scientific Computing Made Easy☆42Updated 9 years ago
- A saturating arithmetic cast.☆12Updated 6 years ago
- ☆34Updated last year
- Compile-time Checked, Type-Safe Formatting in C++14☆37Updated 8 years ago
- Live Asynchronous Visualized Architecture☆98Updated 6 years ago
- A collection of useful things; sometimes proofs of concepts, sometimes production-ready code.☆21Updated 5 years ago
- A C++23 array / expression template library with some J/APL features☆26Updated last week
- C++ project template : CMake, Test, Travis CI, Appveyor, CodeCoverage, Doxygen☆35Updated 4 years ago
- Header-only C++17 library for evaluating logical expressions.☆87Updated 3 years ago
- A compile-time linear algebra system for C++☆123Updated 4 years ago
- My talks from CppCon 2020☆23Updated 5 years ago
- a light-weight, header-only, dependency-free, C++14 library for ISO units☆31Updated 7 months ago
- CppDyn is a library which aims to simplify use of polymorphism in C++20☆20Updated 3 years ago
- header-only C++ template library to process n-dimensional arrays with multithreaded SIMD code☆47Updated 2 weeks ago
- Highly composable C++17 template meta programming library☆40Updated 6 years ago
- A lightweight compile-time, header-only, dimensional analysis and unit conversion library built on c++11 with no dependencies☆18Updated 8 years ago
- C++ testing and mocking framework☆16Updated 4 years ago
- Compile-time integer sequence manipulation, header-only library for C++17☆27Updated 4 years ago
- c++ library for building lightweight processing pipeline at compile-time for string obfuscation, aes ciphering or whatever you want☆68Updated 6 years ago
- Yet another what-you-see-is-what-you-get equation editor☆100Updated 3 years ago