Alternatives and similar repositories for metamath

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

• BowenFu / mathiu.cpp
  mathiu : a simple computer algebra system in C++.
  ☆80Updated 4 years ago
• bluescarni / igor
  Named arguments for C++17
  ☆31Updated last month
• ThePhD / phd
  A collection of useful things; sometimes proofs of concepts, sometimes production-ready code.
  ☆21Updated 5 years ago
• automeka / automeka
  Implicit and module-aware build system for future C++
  ☆20Updated 9 years ago
• copperspice / doxypressapp
  GUI application for DoxyPress
  ☆25Updated 5 months ago
• kobalicek / mpsl
  Shader-Like Mathematical Expression JIT Engine for C++ Language
  ☆59Updated 6 years ago
• calebzulawski / cotila
  A compile-time linear algebra system for C++
  ☆122Updated 3 years ago
• tomilov / insituc
  x86/x64 JIT compiler for math string expressions written in C++. Parser is Boost.Spirit X3. AST transformations: partial derivation, cons…
  ☆48Updated 9 years ago
• mpark / format
  Compile-time Checked, Type-Safe Formatting in C++14
  ☆36Updated 8 years ago
• p-groarke / clamp_cast
  A saturating arithmetic cast.
  ☆12Updated 6 years ago
• egladysh / vplot
  C++ container graph visualization for lldb.
  ☆23Updated 6 years ago
• tcbrindle / numeris_romanis
  Roman numeral support for C++17
  ☆52Updated last year
• haberman / dumpfp
  A small little tool for dumping a floating-point number in its native format
  ☆55Updated 10 years ago
• philsquared / scape
  A header-only, modern C++, library for terminal colours and cursor manipulation
  ☆17Updated 7 years ago
• jwtowner / lug
  C++ embedded domain specific language for extended parsing expression grammars (PEGs)
  ☆82Updated 4 months ago
• Taymindis / wfqueue
  wait free FIFO queue, easy built cross platform(no extra dependencies needed)
  ☆87Updated 6 years ago
• Remotion / fmt_extension
  {fmt} support for ranges, containers and types with tuple interface.
  ☆27Updated 7 years ago
• cwbaker / lalr
  LALR(1) parser for C++
  ☆79Updated last year
• mahmoudahmedd / 2D-game
  A game in which social media site has to survive waves of Zombies in SFML C++
  ☆16Updated 5 years ago
• qnope / CppDyn
  CppDyn is a library which aims to simplify use of polymorphism in C++20
  ☆19Updated 3 years ago
• node-dot-cpp / memory-safe-cpp
  A C++ dialect with optional memory safety guarantees (provides memory safety for node.cpp)
  ☆24Updated last year
• pauldreik / safe_duration_cast
  Like std::duration_cast, but without the undefined behaviour
  ☆17Updated 4 months 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
• LiveAsynchronousVisualizedArchitecture / lava
  Live Asynchronous Visualized Architecture
  ☆97Updated 6 years ago
• codereport / An-Algorithm-Library
  A C++ algorithm library that extends the C++ standard algorithms found in <algorithm> & <numeric>
  ☆22Updated 4 years ago
• Axel-Naumann / cling-all-in-one
  llvm, clang and cling wrapped into one repo
  ☆50Updated last year
• cusiman7 / clue
  Command Line User Experience
  ☆80Updated 5 years ago
• bluescarni / piranha
  The Piranha computer algebra system.
  ☆104Updated 3 years ago
• rollbear / typical
  Highly composable C++17 template meta programming library
  ☆39Updated 6 years ago
• celtera / ahsohtoa
  Structure-of-array synthesis in C++20
  ☆80Updated 3 years ago