Alternatives and similar repositories for metamath

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

• purpleKarrot / build-containers
  ☆34Updated 7 months ago
• mattgodbolt / cpponsea-2019
  Slides for my 2019 presentation at C++ on Sea
  ☆13Updated 3 years ago
• p-groarke / clamp_cast
  A saturating arithmetic cast.
  ☆12Updated 6 years ago
• haberman / dumpfp
  A small little tool for dumping a floating-point number in its native format
  ☆55Updated 9 years ago
• philsquared / scape
  A header-only, modern C++, library for terminal colours and cursor manipulation
  ☆17Updated 7 years ago
• mpark / format
  Compile-time Checked, Type-Safe Formatting in C++14
  ☆36Updated 8 years ago
• kobalicek / mpsl
  Shader-Like Mathematical Expression JIT Engine for C++ Language
  ☆58Updated 5 years ago
• Ginxss / tfds
  A collection of data structures in C++
  ☆18Updated 2 years ago
• pauldreik / safe_duration_cast
  Like std::duration_cast, but without the undefined behaviour
  ☆17Updated 3 weeks ago
• mahmoudahmedd / 2D-game
  A game in which social media site has to survive waves of Zombies in SFML C++
  ☆16Updated 5 years ago
• ericniebler / fpxx
  sandbox for my c++ functional programming experiments
  ☆33Updated 11 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
• atomicflag / chrome_remote
  Chromium DevTools remote for C++
  ☆11Updated 7 years ago
• aherrmann / rubber_types
  Type-Erasure with merged concepts
  ☆18Updated 10 years ago
• jamboree / niji
  Generic 2D graphics library for C++14
  ☆28Updated 3 months ago
• ThePhD / phd
  A collection of useful things; sometimes proofs of concepts, sometimes production-ready code.
  ☆20Updated 4 years ago
• joboccara / sets
  Extension of the STL algorithms on sets
  ☆21Updated 5 years ago
• piperchester / cpp-btree
  Optimized for systems that read and write large blobs.
  ☆12Updated 10 years ago
• Remotion / fmt_extension
  {fmt} support for ranges, containers and types with tuple interface.
  ☆27Updated 6 years ago
• taleinat / byteshift_strstr
  Simple and fast drop-in replacements for the stdlib's strstr() and memmem() sub-sequence search functions.
  ☆10Updated 10 years ago
• automeka / automeka
  Implicit and module-aware build system for future C++
  ☆20Updated 9 years ago
• bluescarni / igor
  Named arguments for C++17
  ☆30Updated 4 years ago
• RobertLeahy / Safe
  Safe integer utilities for C++11
  ☆16Updated 10 years ago
• jpakkane / cppapi
  Exposing a C++ library with a plain C ABI
  ☆16Updated 8 years ago
• egladysh / vplot
  C++ container graph visualization for lldb.
  ☆23Updated 5 years ago
• mpusz / inplace_string
  `mp::inplace_string<CharT, MaxSize, Traits>` is a `std::string`-like class template that stores text content in-place inside the class
  ☆10Updated 6 years ago
• MoserMichael / cppcombinator
  parser combinator and AST generator in c++17
  ☆24Updated 2 years ago
• tonypilz / units
  A lightweight compile-time, header-only, dimensional analysis and unit conversion library built on c++11 with no dependencies
  ☆18Updated 7 years ago
• erenon / double_ended
  devector and batch_deque containers for C++. See more at: http://erenon.hu/double_ended
  ☆15Updated 7 years ago
• basicpp17 / flags17
  A comparison of different options to implement binary flags in C++17
  ☆17Updated 7 years ago