Giter Site home page Giter Site logo

Афіліації

  • Релігійна організація «Лонгчен Нінгтік Україна» 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

Максим Сохацький's Projects

.emacs icon .emacs

My tiny .emacs file and emacs.d tree

5ht icon 5ht

Namdak Tonpa Personal Journal

a64 icon a64

A64: ARM64 Assembler for Erlang

active icon active

♾️ ACTIVE: Filesystem Activities

ant icon ant

🧊 Ant: A New TeX

app icon app

Two REVIEW applications with one N2O

asn1.ts icon asn1.ts

Zero-copy ASN.1 and DER coding 🏎️

avz icon avz

🔑 AVZ: Social Authorization

bb icon bb

Simple Binance exchange trader Bot

bc-dstu-csharp icon bc-dstu-csharp

BouncyCastle C# with new ukrainian national standarts of block cipher (DSTU7624) and hash function (DSTU7564)

book-template icon book-template

A nice book template using LaTeX and the memoir document class

ca icon ca

🛡️ CA: Certificate Authority

chat icon chat

💬 CHAT: Messaging Protocol

chat-1 icon chat-1

XMPP client for Haiku Operating System

cmpclient-embedded icon cmpclient-embedded

This client-side example application implementation of RFC 4210 “Certificate Management Protocol (CMP)” utilizes Arm® Mbed™ TLS https://tls.mbed.org/ as crypto library. It makes use of the library available in CMPclient-embedded-lib. It is mainly intended for use on constrained embedded IoT devices, e.g. based on Arm Mbed OS https://os.mbed.com/,

cmpossl icon cmpossl

An OpenSSL-based implementation of the Certificate Management Protocol (CMP), defined in IETF RFCs 4210, 4211, and 6712. It is being extended according to the emerging RFCs 'CMP Updates' (CMPv3), 'CMP Algorithms', and 'Lightweight CMP Profile'.

codesamples icon codesamples

This is a growing collection of code samples, fully working demonstration programs I wrote as supplementary material for articles posted at forums, newsgroups, Q&A sites, blogs, and so on.

cos icon cos

💠 COS: China Ocean Shipping

cryptonite icon cryptonite

Бібліотека криптографічних перетворень

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.