Giter VIP home page Giter VIP 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

explore icon explore

Community-curated topic and collection pages on GitHub

frontier icon frontier

Fast, efficient, pure-functional, effect-free websocket, http and udp server, http client and telegram bot

go-quake2 icon go-quake2

Quake 2 Level Renderer written in Go and OpenGL

hamler icon hamler

Haskell-style functional programming language running on Erlang VM.

haskell icon haskell

A mostly functional haskell compiler written in rust

hx icon hx

Hex editor for the terminal using plain C99 + POSIX libs.

kernel icon kernel

Abstract Event Processing Kernel

keylog icon keylog

Keyboard and ThinkGear MindSet stream recorder

kvs icon kvs

Highly available distributed strong eventual consistent and sequentially consistent storage with feeds and search

kvstore icon kvstore

a fast kvstore based on spdk programing framework

limon icon limon

Limon: A Persistent Key-Value Engine for Fast NVMe Storage

lwt icon lwt

OCaml promises and concurrent I/O

mumps icon mumps

Automatically exported from code.google.com/p/gtmdarwin

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.