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
• mattgodbolt / cpponsea-2019
  Slides for my 2019 presentation at C++ on Sea
  ☆13Updated 3 years ago
• pauldreik / safe_duration_cast
  Like std::duration_cast, but without the undefined behaviour
  ☆17Updated 5 years ago
• haberman / dumpfp
  A small little tool for dumping a floating-point number in its native format
  ☆55Updated 9 years ago
• kobalicek / mpsl
  Shader-Like Mathematical Expression JIT Engine for C++ Language
  ☆58Updated 5 years ago
• ericniebler / fpxx
  sandbox for my c++ functional programming experiments
  ☆33Updated 11 years ago
• piperchester / cpp-btree
  Optimized for systems that read and write large blobs.
  ☆12Updated 10 years ago
• purpleKarrot / build-containers
  ☆34Updated 6 months ago
• karroffel / cfstructs
  A collection of cache-friendly data structures in C++, without any dependencies.
  ☆23Updated 6 years ago
• gammasoft71 / tunit
  Modern c++17 unit testing framework on Microsoft Windows, Apple macOS, Linux, iOS and android.
  ☆12Updated 3 years ago
• ljestrada / charconvutils
  C++17 sports two low-level character conversion functions, std::from_chars and std::to_chars, but they have a usage model that can be ea…
  ☆8Updated 5 years ago
• szymonmaszke / numpp
  Research library for compile time optimization
  ☆12Updated 6 years ago
• joboccara / sets
  Extension of the STL algorithms on sets
  ☆21Updated 5 years ago
• Ginxss / tfds
  A collection of data structures in C++
  ☆18Updated 2 years ago
• MoserMichael / cppcombinator
  parser combinator and AST generator in c++17
  ☆24Updated 2 years ago
• node-dot-cpp / memory-safe-cpp
  A C++ dialect with optional memory safety guarantees (provides memory safety for node.cpp)
  ☆22Updated last year
• suiginsoft / hebimath
  arbitrary precision arithmetic library
  ☆43Updated 6 years ago
• thomasmueller / xorfilter_cpp
  Bloom filter alternative (C++)
  ☆17Updated 6 years ago
• BobSteagall / CppCon2020
  My talks from CppCon 2020
  ☆23Updated 4 years ago
• tonypilz / units
  A lightweight compile-time, header-only, dimensional analysis and unit conversion library built on c++11 with no dependencies
  ☆17Updated 7 years ago
• BowenFu / mathiu.cpp
  mathiu : a simple computer algebra system in C++.
  ☆79Updated 3 years ago
• mserdarsanli / librepr
  Similar to python's `repr`, for c++
  ☆32Updated 3 years ago
• hniemeyer / IntroToConcepts
  My Talk on C++20's Concepts
  ☆23Updated 4 years ago
• WG21-SG14 / flat_containers
  Flat containers for C++
  ☆19Updated 8 years ago
• boostorg / interval
  Boost.org numeric interval library
  ☆25Updated last week
• daniel-j-h / cppnow2016
  C++Now 2016 talk - Pulling Visitors: Boost.Graph + Boost.Coroutine
  ☆9Updated 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 8 months ago
• codereport / An-Algorithm-Library
  A C++ algorithm library that extends the C++ standard algorithms found in <algorithm> & <numeric>
  ☆22Updated 3 years ago
• thenumbernine / Tensor
  C++ template metaprogram driven tensor math library
  ☆86Updated 7 months ago