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

• METAMATHBLOCKCHAINS

  Public
  https://metamath.org/

  Apache License 2.0

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

• CoolFaucet

  Public
  BSD 3-Clause "New" or "Revised" License

  •1•1•0•0•Updated Dec 26, 2021Dec 26, 2021

• cri

  Public
  cri = continuous reintegration (myths about Phoenix bird)

  BSD 3-Clause "New" or "Revised" License

  •7•1•0•0•Updated Dec 26, 2021Dec 26, 2021

• myzone_now_sh_GPLv3

  Public
  GPLv3 source code for myzone.now.sh

  JavaScript

  •34•1•0•0•Updated Jun 5, 2021Jun 5, 2021