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
• automeka / automeka
  Implicit and module-aware build system for future C++
  ☆20Updated 9 years ago
• philsquared / scape
  A header-only, modern C++, library for terminal colours and cursor manipulation
  ☆17Updated 7 years ago
• LiveAsynchronousVisualizedArchitecture / lava
  Live Asynchronous Visualized Architecture
  ☆97Updated 6 years ago
• mpark / format
  Compile-time Checked, Type-Safe Formatting in C++14
  ☆37Updated 8 years ago
• bluescarni / igor
  Named arguments for C++17
  ☆31Updated 2 months ago
• suiginsoft / hebimath
  arbitrary precision arithmetic library
  ☆44Updated 6 years ago
• pauldreik / safe_duration_cast
  Like std::duration_cast, but without the undefined behaviour
  ☆17Updated 5 months ago
• jk-jeon / Grisu-Exact
  Reference implementation of Grisu-Exact in C++
  ☆68Updated 5 years ago
• haberman / dumpfp
  A small little tool for dumping a floating-point number in its native format
  ☆55Updated 10 years ago
• copperspice / doxypressapp
  GUI application for DoxyPress
  ☆25Updated 6 months ago
• pfultz2 / cmake-get
  Get dependencies with cmake
  ☆63Updated 6 years ago
• jamboree / niji
  Generic 2D graphics library for C++14
  ☆28Updated 8 months ago
• BowenFu / mathiu.cpp
  mathiu : a simple computer algebra system in C++.
  ☆80Updated 4 years ago
• ThePhD / phd
  A collection of useful things; sometimes proofs of concepts, sometimes production-ready code.
  ☆21Updated 5 years ago
• kenavolic / pipet
  c++ library for building lightweight processing pipeline at compile-time for string obfuscation, aes ciphering or whatever you want
  ☆68Updated 6 years ago
• cusiman7 / clue
  Command Line User Experience
  ☆80Updated 5 years ago
• Morwenn / poplar-heap
  make_heap and sort_heap for a poplar heap with O(1) extra memory
  ☆41Updated last year
• karroffel / cfstructs
  A collection of cache-friendly data structures in C++, without any dependencies.
  ☆23Updated 7 years ago
• asutton / lingo
  A library of tools for compiler construction.
  ☆11Updated 9 years ago
• Remotion / fmt_extension
  {fmt} support for ranges, containers and types with tuple interface.
  ☆27Updated 7 years ago
• ericniebler / coronet
  Experimental library for coroutines and networking
  ☆16Updated 7 years ago
• jckarter / selfaware
  Self-aware struct-like types in C++11
  ☆46Updated 13 years ago
• joboccara / sets
  Extension of the STL algorithms on sets
  ☆21Updated 6 years ago
• calebzulawski / cotila
  A compile-time linear algebra system for C++
  ☆123Updated 3 years ago
• p-groarke / clamp_cast
  A saturating arithmetic cast.
  ☆12Updated 6 years ago
• oliora / bitmask
  A generic implementation of the BitmaskType C++ concept
  ☆85Updated 5 years ago
• p-ranav / envy
  envy: Deserialize environment variables into type-safe structs
  ☆67Updated 5 years ago
• mosra / toolchains
  Toolchains for crosscompiling with CMake.
  ☆94Updated 7 months ago
• m-peko / booleval
  Header-only C++17 library for evaluating logical expressions.
  ☆87Updated 3 years ago