Alternatives and similar repositories for metamath:

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

• rvarago / kitten
  A small C++17 library inspired by Category Theory.
  ☆16Updated 2 years ago
• ThePhD / phd
  A collection of useful things; sometimes proofs of concepts, sometimes production-ready code.
  ☆20Updated 4 years ago
• VioletGiraffe / cpp-template-utils
  A header-only C++ library that augments the standard library with useful code snippets
  ☆12Updated 4 months ago
• st-gille / semt
  compile time symbolic differentiation via C++ template expressions
  ☆18Updated 2 years ago
• aherrmann / rubber_types
  Type-Erasure with merged concepts
  ☆18Updated 10 years ago
• brunocodutra / alloy
  Embrace (post) modern C++
  ☆9Updated 3 years ago
• kobalicek / mpsl
  Shader-Like Mathematical Expression JIT Engine for C++ Language
  ☆58Updated 5 years ago
• abbyssoul / libsolace
  Modern C++ framework for critical systems
  ☆21Updated last year
• p-groarke / clamp_cast
  A saturating arithmetic cast.
  ☆12Updated 5 years ago
• automeka / automeka
  Implicit and module-aware build system for future C++
  ☆20Updated 8 years ago
• karroffel / cfstructs
  A collection of cache-friendly data structures in C++, without any dependencies.
  ☆23Updated 6 years ago
• zwegner / Miroslav
  A proof-of-concept for a fast regex matcher using lossy NFA matching on SIMD
  ☆12Updated 5 years ago
• rollbear / typical
  Highly composable C++17 template meta programming library
  ☆39Updated 5 years ago
• muellan / containers
  generic C++ containers; matrix, triangle matrix, crs sparse matrix, etc.
  ☆12Updated 6 years ago
• joboccara / sets
  Extension of the STL algorithms on sets
  ☆20Updated 5 years ago
• MoserMichael / cppcombinator
  parser combinator and AST generator in c++17
  ☆24Updated last year
• mattgodbolt / cpponsea-2019
  Slides for my 2019 presentation at C++ on Sea
  ☆13Updated 3 years ago
• purpleKarrot / build-containers
  ☆33Updated 3 months ago
• philsquared / scape
  A header-only, modern C++, library for terminal colours and cursor manipulation
  ☆17Updated 6 years ago
• alandefreitas / sympp
  SymPP: A Symbolic Library that compiles itself
  ☆13Updated 4 years ago
• ericniebler / proto-0x
  Boost.Proto, rewritten and redesigned for C++11
  ☆28Updated 11 years ago
• heal-research / vstat
  SIMD-enabled descriptive statistics (mean, variance, covariance, correlation)
  ☆17Updated 5 months ago
• szymonmaszke / numpp
  Research library for compile time optimization
  ☆12Updated 6 years ago
• shaovoon / floatbench
  String to Float Benchmark
  ☆19Updated 6 years ago
• jk-jeon / fp
  IEEE-754 binary-to-decimal and decimal-to-binary conversion library
  ☆40Updated 2 years ago
• STEllAR-GROUP / hpxcl
  This repository contains components that will support percolation via OpenCL and CUDA
  ☆31Updated 3 years ago
• gabyx / GRSFramework
  Granular Rigid Body Simulation Framework: efficient research tools to simulate non-smooth granular rigid body dynamics.
  ☆10Updated last year
• gammasoft71 / tunit
  Modern c++17 unit testing framework on Microsoft Windows, Apple macOS, Linux, iOS and android.
  ☆11Updated 3 years ago