Metamath Alternatives

Similar projects and alternatives to metamath

• ceres-solver

  8 3,589 8.3 C++ metamath VS ceres-solver

  A large scale non-linear optimization library

  

• LibTomMath

  2 629 6.8 C metamath VS LibTomMath

  LibTomMath is a free open source portable number theoretic multiple-precision integer library written entirely in C.

  

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• Wykobi

  0 157 0.0 C++ metamath VS Wykobi

  Wykobi C++ Computational Geometry Library https://www.wykobi.com

• CGal

  2 4,534 10.0 C++ metamath VS CGal

  The public CGAL repository, see the README below

  

• muparser

  2 391 6.7 C++ metamath VS muparser

  muparser is a fast math parser library for C/C++ with (optional) OpenMP support.

• OpenBLAS

  22 5,933 9.8 C metamath VS OpenBLAS

  OpenBLAS is an optimized BLAS library based on GotoBLAS2 1.13 BSD version.

  

• QuantLib

  1 4,788 9.8 C++ metamath VS QuantLib

  The QuantLib C++ library

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• MIRACL

  1 611 0.0 C metamath VS MIRACL

  MIRACL Cryptographic SDK: Multiprecision Integer and Rational Arithmetic Cryptographic Library is a C software library that is widely regarded by developers as the gold standard open source SDK for elliptic curve cryptography (ECC).

  

• GMTL

  0 21 0.0 C++ metamath VS GMTL

  Generic Math Template Library (forked from http://ggt.sourceforge.net/)

  

• hlslpp

  0 450 7.7 C++ metamath VS hlslpp

  Math library using hlsl syntax with SSE/NEON support