Skip to content
Change the repository type filter

All

    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
      86100Updated Feb 13, 2022Feb 13, 2022
    • hyperbox

      Public
      A symbolic execution VM for Waves smart-contracts
      Python
      3100Updated Feb 12, 2022Feb 12, 2022
    • GNU General Public License v3.0
      25100Updated Nov 14, 2021Nov 14, 2021
    • Svelte
      GNU General Public License v3.0
      12100Updated Nov 13, 2021Nov 13, 2021
    • mm0

      Public
      Metamath Zero specification language
      Rust
      Creative Commons Zero v1.0 Universal
      40100Updated Nov 11, 2021Nov 11, 2021
    • /0.1.root eternal machine for happiness for everyone Strugatskie A et B et cetera et al.
      GNU General Public License v3.0
      13100Updated Nov 10, 2021Nov 10, 2021
    • Инопланетянин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
      64100Updated Oct 8, 2021Oct 8, 2021
    • GNU General Public License v3.0
      47100Updated Oct 3, 2021Oct 3, 2021
    • 💚👾💚 Альфарус — искусственный интеллект масштаба J.A.R.V.I.S. для поддержки и жизни русскоязычных и иных людей и государств во всём мире. Green Ecology Worlds 💚👾💚 🐸🌈🧚🐁+∞*¤💎💚vis vitalis ±∞*👾☯🌌💚💞🧙*💚
      Python
      GNU General Public License v3.0
      59100Updated Sep 26, 2021Sep 26, 2021
    • Flower

      Public
      Java
      Apache License 2.0
      45100Updated Jun 21, 2021Jun 21, 2021
    • ArxGit

      Public
      Java
      18100Updated Jun 8, 2021Jun 8, 2021
    • GNU General Public License v3.0
      31100Updated 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
      29100Updated Mar 27, 2021Mar 27, 2021
    • set.mm

      Public
      Metamath source file for logic and set theory
      Objective-C++
      Creative Commons Zero v1.0 Universal
      90000Updated Feb 15, 2020Feb 15, 2020
    • Metamath program - source code for the Metamath executable
      C
      GNU General Public License v2.0
      25000Updated Feb 12, 2020Feb 12, 2020
    • Компилятор Простого Рефала
      C++
      Other
      35100Updated Aug 26, 2017Aug 26, 2017