Alternatives and similar repositories for metamath:

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

• pauldreik / safe_duration_cast
  Like std::duration_cast, but without the undefined behaviour
  ☆17Updated 5 years ago
• mattgodbolt / cpponsea-2019
  Slides for my 2019 presentation at C++ on Sea
  ☆13Updated 3 years ago
• st-gille / semt
  compile time symbolic differentiation via C++ template expressions
  ☆18Updated 2 years ago
• aclex / floaxie
  Floating point printing and parsing library based on Grisu2 and Krosh algorithms
  ☆29Updated 2 years ago
• 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 5 years ago
• LumosRobotics / plot_tool
  A plotting tool
  ☆32Updated 4 years ago
• rollbear / typical
  Highly composable C++17 template meta programming library
  ☆39Updated 5 years ago
• karroffel / cfstructs
  A collection of cache-friendly data structures in C++, without any dependencies.
  ☆23Updated 6 years ago
• acdemiralp / acd
  Single file utilities for C++.
  ☆30Updated 2 years ago
• shaovoon / floatbench
  String to Float Benchmark
  ☆19Updated 6 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
• newlawrence / Calculate
  Math Expressions Parser Engine
  ☆34Updated 5 years ago
• SteveZhangSZ / ConstexprCircularQueue
  Single Header Constexpr Circular Queue
  ☆17Updated 4 years ago
• qnope / CppDyn
  CppDyn is a library which aims to simplify use of polymorphism in C++20
  ☆18Updated 3 years ago
• Remotion / fmt_extension
  {fmt} support for ranges, containers and types with tuple interface.
  ☆27Updated 6 years ago
• BobSteagall / CppCon2020
  My talks from CppCon 2020
  ☆24Updated 4 years ago
• pfultz2 / cmake-get
  Get dependencies with cmake
  ☆63Updated 6 years ago
• MoserMichael / cppcombinator
  parser combinator and AST generator in c++17
  ☆24Updated 2 years ago
• joboccara / sets
  Extension of the STL algorithms on sets
  ☆20Updated 5 years ago
• kenavolic / pipet
  c++ library for building lightweight processing pipeline at compile-time for string obfuscation, aes ciphering or whatever you want
  ☆67Updated 5 years ago
• piperchester / cpp-btree
  Optimized for systems that read and write large blobs.
  ☆12Updated 9 years ago
• egladysh / vplot
  C++ container graph visualization for lldb.
  ☆23Updated 5 years ago
• szymonmaszke / numpp
  Research library for compile time optimization
  ☆12Updated 6 years ago
• jk-jeon / fp
  IEEE-754 binary-to-decimal and decimal-to-binary conversion library
  ☆40Updated 2 years ago
• RobertLeahy / Safe
  Safe integer utilities for C++11
  ☆16Updated 10 years ago
• tcbrindle / numeris_romanis
  Roman numeral support for C++17
  ☆52Updated last year
• biojppm / cmany
  Easily batch-build cmake projects!
  ☆17Updated 9 months ago
• stand-art / jaxn
  JAXN: A standard for extended JSON
  ☆19Updated 3 years ago
• active911 / fastcache
  Wicked fast, thread safe in-memory key/object store for C++
  ☆12Updated 8 years ago