Alternatives and similar repositories for metamath

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

• haberman / dumpfp
  A small little tool for dumping a floating-point number in its native format
  ☆56Updated 10 years ago
• kobalicek / mpsl
  Shader-Like Mathematical Expression JIT Engine for C++ Language
  ☆59Updated 6 years ago
• Taymindis / wfqueue
  wait free FIFO queue, easy built cross platform(no extra dependencies needed)
  ☆87Updated 6 years ago
• karroffel / cfstructs
  A collection of cache-friendly data structures in C++, without any dependencies.
  ☆23Updated 7 years ago
• jpakkane / cppapi
  Exposing a C++ library with a plain C ABI
  ☆16Updated 9 years ago
• bluescarni / igor
  Named arguments for C++17
  ☆31Updated 5 months ago
• BowenFu / mathiu.cpp
  mathiu : a simple computer algebra system in C++.
  ☆80Updated 4 years ago
• automeka / automeka
  Implicit and module-aware build system for future C++
  ☆20Updated 9 years ago
• node-dot-cpp / memory-safe-cpp
  A C++ dialect with optional memory safety guarantees (provides memory safety for node.cpp)
  ☆25Updated 2 years ago
• hoehrmann / utf-8-misc
  Collection of things related to UTF-8 and http://bjoern.hoehrmann.de/utf-8/decoder/dfa/
  ☆36Updated 11 years ago
• fmtlib / fmt.dev
  The {fmt} library website
  ☆18Updated this week
• lloda / ra-ra
  A C++23 array / expression template library with some J/APL features
  ☆26Updated last week
• ronmrdechai / Pie
  Provide an idiomatic C++ interface to CPython's C API.
  ☆27Updated 8 years ago
• LiveAsynchronousVisualizedArchitecture / lava
  Live Asynchronous Visualized Architecture
  ☆98Updated 6 years ago
• p-groarke / clamp_cast
  A saturating arithmetic cast.
  ☆12Updated 6 years ago
• copperspice / doxypressapp
  GUI application for DoxyPress
  ☆25Updated 9 months ago
• gentryx / libflatarray
  Multi-dimensional C++ arrays which store objects in a Struct-of-Arrays (SoA) memory layout for efficient vectorization and zero address g…
  ☆74Updated 5 years ago
• pfultz2 / cmake-get
  Get dependencies with cmake
  ☆63Updated 7 years ago
• jckarter / selfaware
  Self-aware struct-like types in C++11
  ☆45Updated 13 years ago
• mpark / format
  Compile-time Checked, Type-Safe Formatting in C++14
  ☆36Updated 8 years ago
• mahmoudahmedd / 2D-game
  A game in which social media site has to survive waves of Zombies in SFML C++
  ☆16Updated 5 years ago
• suiginsoft / hebimath
  arbitrary precision arithmetic library
  ☆44Updated 7 years ago
• cginternals / cpplocate
  Cross-platform C++ library providing tools for applications to locate themselves, their data assets as well as dependent modules.
  ☆85Updated 9 months ago
• pyrate-build / pyrate-build
  A small python based build file generator targetting the build system ninja
  ☆45Updated 9 years ago
• gitsbi / unlib
  a light-weight, header-only, dependency-free, C++14 library for ISO units
  ☆31Updated 10 months ago
• jk-jeon / Grisu-Exact
  Reference implementation of Grisu-Exact in C++
  ☆69Updated 5 years ago
• egladysh / vplot
  C++ container graph visualization for lldb.
  ☆23Updated 6 years ago
• tobiasmarciszko / qt_raytracer_challenge
  Implementation based on the book The Ray Tracer Challenge
  ☆19Updated last year
• jamboree / niji
  Generic 2D graphics library for C++14
  ☆28Updated 11 months ago
• cusiman7 / clue
  Command Line User Experience
  ☆80Updated 6 years ago