Alternatives and similar repositories for metamath

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

• kobalicek / mpsl
  Shader-Like Mathematical Expression JIT Engine for C++ Language
  ☆59Updated 6 years ago
• haberman / dumpfp
  A small little tool for dumping a floating-point number in its native format
  ☆56Updated 10 years ago
• suiginsoft / hebimath
  arbitrary precision arithmetic library
  ☆44Updated 7 years ago
• ThePhD / phd
  A collection of useful things; sometimes proofs of concepts, sometimes production-ready code.
  ☆21Updated 5 years ago
• automeka / automeka
  Implicit and module-aware build system for future C++
  ☆20Updated 9 years ago
• Taymindis / wfqueue
  wait free FIFO queue, easy built cross platform(no extra dependencies needed)
  ☆87Updated 6 years ago
• bluescarni / igor
  Named arguments for C++17
  ☆31Updated 4 months ago
• codereport / An-Algorithm-Library
  A C++ algorithm library that extends the C++ standard algorithms found in <algorithm> & <numeric>
  ☆22Updated 4 years ago
• karroffel / cfstructs
  A collection of cache-friendly data structures in C++, without any dependencies.
  ☆23Updated 7 years ago
• devosoft / Empirical
  A library of tools for scientific software development, with emphasis on also being able to build web interfaces using Emscripten.
  ☆89Updated 3 months ago
• BowenFu / mathiu.cpp
  mathiu : a simple computer algebra system in C++.
  ☆80Updated 4 years ago
• jwtowner / lug
  C++ embedded domain specific language for extended parsing expression grammars (PEGs)
  ☆83Updated 7 months ago
• kfjahnke / zimt
  header-only C++ template library to process n-dimensional arrays with multithreaded SIMD code
  ☆47Updated last month
• LiveAsynchronousVisualizedArchitecture / lava
  Live Asynchronous Visualized Architecture
  ☆99Updated 6 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
• jk-jeon / Grisu-Exact
  Reference implementation of Grisu-Exact in C++
  ☆69Updated 5 years ago
• mpark / format
  Compile-time Checked, Type-Safe Formatting in C++14
  ☆37Updated 8 years ago
• lloda / ra-ra
  A C++23 array / expression template library with some J/APL features
  ☆26Updated last month
• hostilefork / nocycle
  Directed Acyclic Graph For C++ With Cached Transitive Closure
  ☆28Updated 6 years ago
• Morwenn / poplar-heap
  make_heap and sort_heap for a poplar heap with O(1) extra memory
  ☆41Updated last year
• celtera / ahsohtoa
  Structure-of-array synthesis in C++20
  ☆81Updated 3 years ago
• pfultz2 / ZLang
  A plugin framework for namespace macros in C/C++
  ☆36Updated 11 years ago
• root-project / veccore
  C++ Library for Portable SIMD Vectorization
  ☆84Updated last year
• benkard / cellspp
  A simple dataflow library for C++.
  ☆28Updated 7 years ago
• jckarter / selfaware
  Self-aware struct-like types in C++11
  ☆45Updated 13 years ago
• cwbaker / lalr
  LALR(1) parser for C++
  ☆80Updated last year
• bluescarni / piranha
  The Piranha computer algebra system.
  ☆104Updated 3 years ago
• Alkenso / asenum
  AssociatedEnum: header-only library for C++ for enumerations with associated values
  ☆20Updated 6 years ago
• pfultz2 / cmake-get
  Get dependencies with cmake
  ☆63Updated 6 years ago
• steinwurf / boost
  A minimal subset of the Boost C++ library
  ☆36Updated 2 years ago