Repositories list

• mmegp

  Public
  A project based on metamath.org ; personal new mathematics foundational & other tertium datur openscience theories by Evgeniy Grigoriewitch Phfilippowvv Angarskiy AKA https://beacons.ai/krichuvka vk.com/egphilippov https://linkedin.com/in/egphilippov as of Sunday, February 13 ante de Christ and further since that.................................…

  The Unlicense

  •86•1•0•0•Updated Feb 13, 2022Feb 13, 2022

• metamathdns

  Public
  https://metamath.org/

  Apache License 2.0

  •49•1•0•0•Updated Jan 3, 2022Jan 3, 2022

• METAMATHBLOCKCHAINS

  Public
  https://metamath.org/

  Apache License 2.0

  •49•1•0•0•Updated Jan 3, 2022Jan 3, 2022

• metaprogjbpm

  Public
  GNU General Public License v3.0

  •25•1•0•0•Updated Nov 14, 2021Nov 14, 2021

• ArxNeoMetaProgDevFactoryEternaOrions01

  Public
  A multi-central umbrella repository for ArxNeoMetaProgDevFactoryEternaOrions01.

  GNU General Public License v3.0

  •4•1•0•0•Updated Nov 14, 2021Nov 14, 2021