Meta mathematics. Symbolic functions and derivatives. (by egladysh)


Basic metamath repo stats
almost 3 years ago

egladysh/metamath is an open source project licensed under MIT License which is an OSI approved license.

Metamath Alternatives

Similar projects and alternatives to metamath based on common topics and language

  • GitHub repo GLM

    OpenGL Mathematics (GLM)

  • GitHub repo QuantLib

    The QuantLib C++ library (by lballabio)

  • GitHub repo CGal

    The public CGAL repository, see the README below

  • GitHub repo ceres-solver

    A large scale non-linear optimization library

  • GitHub repo Vc

    SIMD Vector Classes for C++

  • GitHub repo primesieve

    🚀 Fast prime number generator

  • GitHub repo swix

NOTE: The number of mentions on this list indicates mentions on common posts. Hence, a higher number means a better metamath alternative or higher similarity.


Posts where metamath has been mentioned. We have used some of these posts to build our list of alternatives and similar projects.

We don't know posts mentioning metamath yet. We started tracking mentions in Dec 2020.