Alternatives and similar repositories for metamath

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

• tmetsch / graph_stitcher

  View on GitHub
  Graph algorithms to merge two graphs based on stitching.
  ☆12Oct 18, 2019Updated 6 years ago
• p-groarke / clamp_cast

  View on GitHub
  A saturating arithmetic cast.
  ☆12Feb 26, 2019Updated 6 years ago
• maitag / formula

  View on GitHub
  to play with mathematical formulas at haxe-runtime
  ☆18Sep 20, 2023Updated 2 years ago
• tgarciabotero / FluEgg

  View on GitHub
  A three-dimensional Lagrangian model capable of evaluating the influence of flow velocity, shear dispersion and turbulent diffusion on th…
  ☆21Mar 2, 2018Updated 7 years ago
• ablevm / libable

  View on GitHub
  An efficient, portable and secure general-purpose virtual machine and virtual network as a library
  ☆18Apr 4, 2023Updated 2 years ago
• thearn / pygmaps-extended

  View on GitHub
  Python wrapper for Google Maps JavaScript API V3 and Google Earth API.
  ☆17Sep 13, 2014Updated 11 years ago
• YannIrstea / habby

  View on GitHub
  Program to estimate aquatic habitats using hydraulic data and biological models
  ☆10Feb 5, 2026Updated last week
• nicoguaro / AdvancedMath

  View on GitHub
  This is a repository with material for the course Advanced Mathematics for Engineers
  ☆43Feb 7, 2020Updated 6 years ago
• eway2012 / SampleCode

  View on GitHub
  Sample Code
  ☆11Sep 30, 2020Updated 5 years ago
• bernalbant / cms-localization

  View on GitHub
  Simple multi-language .Net Core CMS
  ☆10Apr 22, 2019Updated 6 years ago
• commonsense / conceptdb

  View on GitHub
  A platform for storing large semantic networks on MongoDB
  ☆22Jun 20, 2011Updated 14 years ago
• soundTricker / swift-cloud-endpoint-sample

  View on GitHub
  Swift with Google Cloud Endpoint
  ☆11Jun 9, 2015Updated 10 years ago
• guycalledfrank / bakery-hdrp-shaders

  View on GitHub
  HDRP-compatible shaders for Bakery
  ☆15Jun 6, 2019Updated 6 years ago
• lid / MagTool

  View on GitHub
  MagTool is software for magnetic stripe readers & writers.
  ☆15Jan 22, 2013Updated 13 years ago
• ufo-kit / ufo-filters

  View on GitHub
  Common plugin suite for the ufo-core processing framework
  ☆10Feb 6, 2026Updated last week
• CaptainTimberTim / MPlay3

  View on GitHub
  A music player that lists and plays all .mp3 files in a given folder. Everything is written without any external code, except decoding of…
  ☆11Feb 12, 2022Updated 4 years ago
• NRCan / chyf

  View on GitHub
  Web application that provides hydrology services based on the Common Hydrology Features (CHyF) data model
  ☆11Dec 16, 2022Updated 3 years ago
• pkruk / osx-wifi-scanner

  View on GitHub
  Python script with one simple purpose: to get all or any detailed informations about wifi networks on mac OS. I've written this tool as t…
  ☆10Jul 1, 2019Updated 6 years ago
• nextgis / qgis_metatools

  View on GitHub
  Metadata browser/editor. QGIS plugin.
  ☆11Dec 25, 2024Updated last year
• EdDuarte / semantic-graph

  View on GitHub
  Semantic search web application with graph visualization in Django
  ☆12Aug 2, 2017Updated 8 years ago
• aherrmann / rubber_types

  View on GitHub
  Type-Erasure with merged concepts
  ☆19Oct 19, 2014Updated 11 years ago
• jbalogh / chief

  View on GitHub
  development has moved to mozilla/chief
  ☆17Mar 8, 2013Updated 12 years ago
• m-clark / confusionMatrix

  View on GitHub
  Report various statistics stemming from a confusion matrix in a tidy fashion. 🎯
  ☆12Jul 10, 2020Updated 5 years ago
• juherr / jASN1

  View on GitHub
  Fork of: jASN1 is an LGPL licensed Java ASN.1 BER encoding/decoding library.
  ☆11Mar 3, 2017Updated 8 years ago
• kasramp / cheat-sheet-factory

  View on GitHub
  A collection of useful cheat sheets for computer related stuff
  ☆13Jul 24, 2025Updated 6 months ago
• ShepherdMOZ / algorithm-handbook

  View on GitHub
  A handbook for everyone who loves coding
  ☆10Jun 10, 2019Updated 6 years ago
• suiginsoft / hebimath

  View on GitHub
  arbitrary precision arithmetic library
  ☆44Nov 14, 2018Updated 7 years ago
• taylordotfish / btree-vec

  View on GitHub
  A growable array (vector) implemented as a B-tree
  ☆13Jun 14, 2025Updated 8 months ago
• Freakwill / pyparsing_ext

  View on GitHub
  Extension of pyparsing. You can build your own languages easily. ✌️
  ☆13Oct 6, 2021Updated 4 years ago
• GeraldWodni / f

  View on GitHub
  Forth package manager for theForthNet
  ☆14Apr 4, 2018Updated 7 years ago
• Thomas1956 / Histogram

  View on GitHub
  Histogram using Core Image Filter
  ☆10Sep 26, 2022Updated 3 years ago
• Technologicat / pydialect

  View on GitHub
  Build languages on Python.
  ☆12May 2, 2021Updated 4 years ago
• tszirr / ic.js

  View on GitHub
  Monte Carlo Render Viewing and Visualization Tools
  ☆11Apr 20, 2021Updated 4 years ago
• google / arrow-logo

  View on GitHub
  ☆15Feb 25, 2021Updated 4 years ago
• cv / quartz-composer-tutorial

  View on GitHub
  A small tutorial for QuartzComposer beginners
  ☆19Apr 20, 2018Updated 7 years ago
• artemkaint / raml-1-mocker

  View on GitHub
  Node module to create mock service based on RAML 1.0 specification.
  ☆10Jun 28, 2016Updated 9 years ago
• tizian / layer-laboratory

  View on GitHub
  Code for "The Layer Laboratory: A Calculus for Additive and Subtractive Composition of Anisotropic Surface Reflectance" (SIGGRAPH 2018) b…
  ☆10Apr 7, 2021Updated 4 years ago
• k-ishiyama / toymodels

  View on GitHub
  A repository for personal experimental purpose
  ☆11Apr 11, 2018Updated 7 years ago
• NullArray / GistList

  View on GitHub
  Repo to host a comprehensive list of all my Public Gists with a short description for each item and a link to the Gist pages in question.…
  ☆15Apr 27, 2021Updated 4 years ago