Alternatives and similar repositories for metamath

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

• philsquared / scape
  A header-only, modern C++, library for terminal colours and cursor manipulation
  ☆17Updated 7 years ago
• p-groarke / clamp_cast
  A saturating arithmetic cast.
  ☆12Updated 6 years ago
• st-gille / semt
  compile time symbolic differentiation via C++ template expressions
  ☆18Updated 3 years ago
• mattgodbolt / cpponsea-2019
  Slides for my 2019 presentation at C++ on Sea
  ☆13Updated 3 years ago
• lloda / ra-ra
  A C++23 array / expression template library with some J/APL features
  ☆26Updated last week
• italiancpp / itcppcon21
  Slides of Italian C++ Conference 2021
  ☆10Updated 3 years ago
• ThePhD / phd
  A collection of useful things; sometimes proofs of concepts, sometimes production-ready code.
  ☆20Updated 4 years ago
• SteveZhangSZ / ConstexprCircularQueue
  Single Header Constexpr Circular Queue
  ☆18Updated 4 years ago
• MoserMichael / cppcombinator
  parser combinator and AST generator in c++17
  ☆24Updated 2 years ago
• newlawrence / Calculate
  Math Expressions Parser Engine
  ☆34Updated 5 years ago
• mjansson / memory_lib
  Lock-free memory allocator
  ☆21Updated last year
• mpark / slb
  SLB: C++ Standard Library Backport
  ☆11Updated 6 years ago
• codereport / An-Algorithm-Library
  A C++ algorithm library that extends the C++ standard algorithms found in <algorithm> & <numeric>
  ☆22Updated 4 years ago
• suiginsoft / hebimath
  arbitrary precision arithmetic library
  ☆43Updated 6 years ago
• aherrmann / rubber_types
  Type-Erasure with merged concepts
  ☆18Updated 10 years ago
• kobalicek / mpsl
  Shader-Like Mathematical Expression JIT Engine for C++ Language
  ☆58Updated 5 years ago
• BowenFu / mathiu.cpp
  mathiu : a simple computer algebra system in C++.
  ☆79Updated 3 years ago
• mpark / format
  Compile-time Checked, Type-Safe Formatting in C++14
  ☆36Updated 8 years ago
• jermp / mm_file
  A self-contained, header-only, implementation of memory-mapped files in C++ for fast integration into larger projects.
  ☆26Updated 10 months ago
• atomicflag / chrome_remote
  Chromium DevTools remote for C++
  ☆11Updated 7 years ago
• DrCpp / DrMock
  C++ testing and mocking framework
  ☆16Updated 3 years ago
• rollbear / typical
  Highly composable C++17 template meta programming library
  ☆39Updated 6 years ago
• copperspice / doxypressapp
  GUI application for DoxyPress
  ☆25Updated 2 months ago
• jtlap / nt2
  The Numerical Template Toolbox - C++ Scientific Computing Made Easy
  ☆39Updated 9 years ago
• haberman / dumpfp
  A small little tool for dumping a floating-point number in its native format
  ☆55Updated 9 years ago
• karroffel / cfstructs
  A collection of cache-friendly data structures in C++, without any dependencies.
  ☆23Updated 7 years ago
• tcbrindle / numeris_romanis
  Roman numeral support for C++17
  ☆52Updated last year
• franko / elementary-plotlib
  C/C++ Plotting Library
  ☆25Updated 2 years ago
• AmadeusITGroup / amc
  Collection of high performance C++ containers that can be chosen as drop-in replacements for std::vector and std::set
  ☆35Updated 4 months ago
• kkimdev / ieee754-types
  Single header file C++ library that provides IEEE 754 floating point types.
  ☆23Updated 4 years ago