Giter VIP home page Giter VIP logo

a64's Introduction

Афіліації

  • Релігійна організація «Лонгчен Нінгтік Україна» longchenpa.guru, Директор (2011)
  • Інститут формальної математики та філософії «Групоїд Інфініті» groupoid.space, Старший науковий дослідник (2017)
  • Видавництво «Аксіосис» axiosis.top, Головний редактор (2022)
  • ПриватБанк pb.ua, Архітектор (2015-2016)
  • Державна ІТ-компанія «ІНФОТЕХ» infotech.gov.ua, Провідний інженер-програміст (2019—2023)
  • Державна ІТ-компанія «Електронне здоров'я» ehealth.gov.ua, Старший системний аналітик (2024)

Авторські твори

  • Автор N2O.DEV n2o.dev (2013—2024) Перша телекомунікаційна система. Сайнерсі Україна
  • Автор ERP.UNO erp.uno (2005—2024) Перша державна система. ERP/1
  • Автор «Депозитів ПриватБанк» deposits.privatbank.ua (2015—2016)
  • Автор SMP/AMP операційної системи та APL мови програмування для HFT трейдингу platform.rs (2016—2017)
  • Автор Першої формальної системи axio.groupoid.space (2017—2019)
  • Автор «МІА: Документообіг» МВС України crm.erp.uno (2019—2022) CRM, X.509 система
  • Автор Модальної гомотопічної системи доведення теорем «Андерс» anders.groupoid.space (2021—2022)
  • Автор інтерактивного дизасемблера BE 5ht.co/be EM64T, ARM64, RISC-V, SH-4, MIPS, PowerPC, M68K, PDP-11
  • Автор повного ASN.1 DER компілятора в мову програмування Swift asn1.erp.uno DER, Swift, Elixir
  • Автор проєкту захищеного месенжера chat.erp.uno DER, Swift, Elixir
  • Автор FHIR сервера hl7.erp.uno Elixir

Книги та монографії

  1. ISBN: 978-1-62540-054-3 Ньондро Лонгчен Нінгтік
  2. ISBN: 978-617-8027-10-0 Безумний монах
  3. ISBN: 978-617-8027-23-1 Формальна філософія FP/1
  4. ISBN: 978-617-8027-27-8 Топовий програміст
  5. ISBN: 978-617-8027-08-7 Перша формальна система AXIO/1
  6. ISBN: 978-617-8027-23-0 Перша державна система ERP/1
  7. ISBN: 978-617-8027-07-0 Ідея Нації
  8. ISBN: 978-617-8027-23-1 Заповіт

Статті на нариси

  1. DOI: 10.13140/RG.2.2.27432.24327 Фреймворк для підприємств ISO 20922. 2013
  2. DOI: 10.13140/RG.2.2.20721.35682 Система управління процесами ISO 19510. 2015
  3. DOI: 10.13140/RG.2.2.34143.12963 Одноаксіоматична система верифікації ПЗ. 2017
  4. DOI: 10.13140/RG.2.2.25754.52169 Мінімальна система для вбудовування MLTT. 2018
  5. DOI: 10.13140/RG.2.2.19043.63523 Мова для квантових комп'ютерів PLQ. 2019
  6. DOI: 10.13140/RG.2.2.14010.47045 Модальна гомотопічна мова математики HTS. 2021

Розповсюдження

Шоб подивитися і оцінити що таке http://n2o.dev та http://erp.uno достатньо скачати http://5ht.co/synrc.sh, http://5ht.co/erpuno.sh і запустити їх! Для інших організацій: http://5ht.co/axisosis.sh, http://5ht.co/longchenpa.sh, http://5ht.co/groupoid.sh, http://5ht.co/asmedit.sh. Загалом, разом з .git папками треба звільнити на диску 4ГБ:

5HT@STELLAR:~/depot$ tree -L 1 .
.
├── asmedit
├── axiosis
├── erpuno
├── groupoid
├── longchenpa
└── synrc

6 directories, 0 files
5HT@STELLAR:~/depot$ du -hs ..
3,8G

Ліцензія

Всі мої твори видані під ліцензією DHARMA LICENSE

a64's People

Contributors

5ht avatar

Stargazers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

Watchers

 avatar  avatar  avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.