Ми — open-source організація, що спеціалізується на створенні верифікованих телекомунікаційних та реєстрових систем для державних підприємств, автономних офісів та інфраструктурних проєктів України. Проєкти базуються на Erlang/OTP, Elixir, F#, формальних методах та стандартах ДСТУ, ISO, IETF, ITU, HL7, з акцентом на безпеку, розподілені транзакції, захищені комунікації та автоматизацію документообігу. В нас всі рішення приймаються однією особою в катедральному стилі.

• ias — IAS: Система ідентифікації і авторизації
• crm — CRM: Система документообігу
• ft — FT: мова програмування FormalTalk для МІА:Документообіг
• abac — ABAC: Розмежування прав доступу на основі реквізитної інформації МІА:Документообіг
• ocr — OCR: Система розпізнавання документів для МІА:Документообіг
• mail — MAIL: Чат Месанжер Сохацького v0 імплементація на WebSocket
• scan — SCAN: Система сканування документів для МІА:Документообіг
• docx — DOCX: Процесор шаблонів для OpenXML документів для звітів МІА:Документообіг
• hl7 — HL7: FHIR Application Server ISO/HL7 27931:2009
• med — MED: Здоров'я
• itsm — EXO: ITSM Серві-деск
• soa — SOA: Бібліотека SOAP для сервісів «Дія» для ШБО «Трембіта»
• cart — CART: Система управління реєстрами
• warehouse — WMS: Система управління зброєю
• erp — ERP: Схема Першої ERP системи
• mqtt — MQTT: ISO MQTT Server 5.0
• sevovv — SEVOVV: Система Електронної Взаємодії Органів Виконавчої Влади СЕВ ОВВ 2.0

Наша мета — надати державним підприємствам, органам влади та автономним офісам сучасну, формально верифіковану телекомунікаційну платформу для управління процесами, реєстрами, захищеними комунікаціями та документообігом. Ми прагнемо зробити високонадійні Erlang/OTP-системи доступними для українських державних стандартів (ДСТУ 4145, Трембіта, Дія), поряд з міжнародними (X.509, MQTT, HL7, FIX). Віримо, що надійна телекомунікаційна інфраструктура — основа цифрової держави та захищеного управління в умовах Edge-офісів.

• Відкритість — весь код open-source під permissive-ліцензіями для внеску спільноти та державних інтеграцій.
• Відповідність стандартам — точна реалізація ДСТУ, IETF, ITU, ISO, HL7, FHIR, ProZorro, Трембіта.
• Безпека та верифікація — end-to-end шифрування, X.509 PKI, формальні моделі, розподілені транзакції.
• Модульність — компоненти (CA, MQTT, CRM, HL7, SOAP) можуть використовуватися окремо або як повний стек.
• Надійність — використання Erlang/OTP для високонавантажених, відмовостійких систем.

🇺🇦 Зроблено з фокусом на державні стандарти та телекомунікаційну інфраструктуру України.

Платформа ERP.UNO є частиною досліджень Synrc Research Center та Groupoid Infinity у галузі формальних методів, верифікованих систем та телекомунікаційних протоколів. Компоненти використовуються в проєктах МВС, банків, медичних реєстрів, ProZorro, «Дія» та автономних захищених офісах.

for depot in abac acc crm exo fin ft iot mail schema scm plm tms wms sample asn1 agent docx ocr
do git clone [email protected]:erpuno/$depot
done

Публікація — Документація — Фундація — Сертифікація

Copyright © 2015—2026 Максим Сохацький