Alternatives and similar repositories for metamath

Users that are interested in metamath are comparing it to the libraries listed below

• bluescarni / igor
  Named arguments for C++17
  ☆31Updated 3 months ago
• BowenFu / mathiu.cpp
  mathiu : a simple computer algebra system in C++.
  ☆80Updated 4 years ago
• automeka / automeka
  Implicit and module-aware build system for future C++
  ☆20Updated 9 years ago
• mahmoudahmedd / 2D-game
  A game in which social media site has to survive waves of Zombies in SFML C++
  ☆16Updated 5 years ago
• carlosvin / uuid-cpp
  Example of C++ project skeleton with Meson Build and doctest (or Catch)
  ☆28Updated 7 years ago
• codereport / An-Algorithm-Library
  A C++ algorithm library that extends the C++ standard algorithms found in <algorithm> & <numeric>
  ☆22Updated 4 years ago
• copperspice / doxypressapp
  GUI application for DoxyPress
  ☆25Updated 7 months ago
• haberman / dumpfp
  A small little tool for dumping a floating-point number in its native format
  ☆55Updated 10 years ago
• philsquared / scape
  A header-only, modern C++, library for terminal colours and cursor manipulation
  ☆17Updated 7 years ago
• kobalicek / mpsl
  Shader-Like Mathematical Expression JIT Engine for C++ Language
  ☆59Updated 6 years ago
• jtlap / nt2
  The Numerical Template Toolbox - C++ Scientific Computing Made Easy
  ☆42Updated 9 years ago
• p-groarke / clamp_cast
  A saturating arithmetic cast.
  ☆12Updated 6 years ago
• purpleKarrot / build-containers
  ☆34Updated last year
• mpark / format
  Compile-time Checked, Type-Safe Formatting in C++14
  ☆37Updated 8 years ago
• LiveAsynchronousVisualizedArchitecture / lava
  Live Asynchronous Visualized Architecture
  ☆98Updated 6 years ago
• ThePhD / phd
  A collection of useful things; sometimes proofs of concepts, sometimes production-ready code.
  ☆21Updated 5 years ago
• lloda / ra-ra
  A C++23 array / expression template library with some J/APL features
  ☆26Updated last week
• johanLsp / CPP_Template
  C++ project template : CMake, Test, Travis CI, Appveyor, CodeCoverage, Doxygen
  ☆35Updated 4 years ago
• m-peko / booleval
  Header-only C++17 library for evaluating logical expressions.
  ☆87Updated 3 years ago
• calebzulawski / cotila
  A compile-time linear algebra system for C++
  ☆123Updated 4 years ago
• BobSteagall / CppCon2020
  My talks from CppCon 2020
  ☆23Updated 5 years ago
• gitsbi / unlib
  a light-weight, header-only, dependency-free, C++14 library for ISO units
  ☆31Updated 7 months ago
• qnope / CppDyn
  CppDyn is a library which aims to simplify use of polymorphism in C++20
  ☆20Updated 3 years ago
• kfjahnke / zimt
  header-only C++ template library to process n-dimensional arrays with multithreaded SIMD code
  ☆47Updated 2 weeks ago
• rollbear / typical
  Highly composable C++17 template meta programming library
  ☆40Updated 6 years ago
• tonypilz / units
  A lightweight compile-time, header-only, dimensional analysis and unit conversion library built on c++11 with no dependencies
  ☆18Updated 8 years ago
• DrCpp / DrMock
  C++ testing and mocking framework
  ☆16Updated 4 years ago
• afaikafk / seq
  Compile-time integer sequence manipulation, header-only library for C++17
  ☆27Updated 4 years ago
• kenavolic / pipet
  c++ library for building lightweight processing pipeline at compile-time for string obfuscation, aes ciphering or whatever you want
  ☆68Updated 6 years ago
• JohnDTill / YAWYSIWYGEE
  Yet another what-you-see-is-what-you-get equation editor
  ☆100Updated 3 years ago