Skip to content

@math-egphilippov math-egphilippov

Change the repository type filter

All

    Repositories list

    16 repositories

    • 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
      •85•1•0•0•Updated Feb 13, 2022Feb 13, 2022

    • hyperbox

      Public
      A symbolic execution VM for Waves smart-contracts
      Python
      •3•1•0•0•Updated Feb 12, 2022Feb 12, 2022

    • metaprogjbpm

      Public
      GNU General Public License v3.0
      •25•1•0•0•Updated Nov 14, 2021Nov 14, 2021

    • iotcrystals-now-sh-svelte-whale

      Public
      Svelte
      •
      GNU General Public License v3.0
      •12•1•0•0•Updated Nov 13, 2021Nov 13, 2021

    • mm0

      Public
      Metamath Zero specification language
      Rust
      •
      Creative Commons Zero v1.0 Universal
      •40•1•0•0•Updated Nov 11, 2021Nov 11, 2021

    • 01rooteternalmachineforhappinessforeveryonestrugatskieaetbetcetal

      Public
      /0.1.root eternal machine for happiness for everyone Strugatskie A et B et cetera et al.
      GNU General Public License v3.0
      •13•1•0•0•Updated Nov 10, 2021Nov 10, 2021

    • SixSixSixTrackingBot

      Public
      ИнопланетянинHOLISTIC*RESEARCH*¤debetgt0*during∞*timeGRR!⟼Крутящиеся сердечки↑ · 2 мин 666 #Tracking #SAAS #PAAS #REST #API #ProgrammableWeb #Bot #OpenSource #FLOSS #Libre https://t.me/SixSixSixTrackingBot https://any.surf/api/json/SixSixSixTrackingBot.json #GitHub $ANY #SixSixSix #SATANISM https://github.com/nonlin-lin-chaos-order-etc-etal/SixS…
      GNU General Public License v3.0
      •64•1•0•0•Updated Oct 8, 2021Oct 8, 2021

    • GaudiHologramCrystal

      Public
      https://github.com/HOLISTICRESEARCH/HOLISTICRESEARCH/blob/default/README.md
      GNU General Public License v3.0
      •47•1•0•0•Updated Oct 3, 2021Oct 3, 2021

    • ALPHARUSBOT

      Public
      💚👾💚 Альфарус — искусственный интеллект масштаба J.A.R.V.I.S. для поддержки и жизни русскоязычных и иных людей и государств во всём мире. Green Ecology Worlds 💚👾💚 🐸🌈🧚🐁+∞*¤💎💚vis vitalis ±∞*👾☯🌌💚💞🧙*💚
      Python
      •
      GNU General Public License v3.0
      •59•1•0•0•Updated Sep 26, 2021Sep 26, 2021

    • Flower

      Public
      Java
      •
      Apache License 2.0
      •45•1•0•0•Updated Jun 21, 2021Jun 21, 2021

    • ArxGit

      Public
      Java
      •18•1•0•0•Updated Jun 8, 2021Jun 8, 2021

    • SUPRAPROOFS

      Public
      GNU General Public License v3.0
      •31•1•0•0•Updated May 27, 2021May 27, 2021

    • any

      Public
      A multieditable platform for multiplatform software development; a tool to employ anything possible heterogeneously. Unlimited deep plunge-dig-plunge-repeat and unlimited deep security. Should include Ruby Golberg Machines schemes, equality schemes, and pyramid-like schemes, among other types and things. Should include and integrate any programm…
      GNU General Public License v3.0
      •29•1•0•0•Updated Mar 27, 2021Mar 27, 2021

    • set.mm

      Public
      Metamath source file for logic and set theory
      Objective-C++
      •
      Creative Commons Zero v1.0 Universal
      •88•0•0•0•Updated Feb 15, 2020Feb 15, 2020

    • metamath-exe

      Public
      Metamath program - source code for the Metamath executable
      C
      •
      GNU General Public License v2.0
      •25•0•0•0•Updated Feb 12, 2020Feb 12, 2020

    • simple-refal

      Public
      Компилятор Простого Рефала
      C++
      •
      Other
      •35•1•0•0•Updated Aug 26, 2017Aug 26, 2017