Ми — українська open-source організація, що спеціалізується на розробці високонадійних, відмовостійких розподілених систем на базі Erlang/OTP (BEAM). Наші проєкти охоплюють захищені комунікації (чат-месенджери та PKI), веб-фреймворки, управління бізнес-процесами (BPMN), розподілені сховища, мережеві протоколи та формальні методи верифікації. Все побудовано на суворій відповідності міжнародним та українським стандартам (ASN.1, X.509, CMS/S-MIME, LDAP, DNS, MQTT, BPMN, ДСТУ 4145).

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

• Відкритість та прозорість — весь код під permissive open-source ліцензіями.
• Суворої відповідності стандартам — ми реалізуємо протоколи точно за RFC/IETF, ITU, ISO.
• Безпека понад усе — фокус на end-to-end шифруванні, постквантовій стійкості та сучасних алгоритмах.
• Модульність та незалежність — наші імплементації можуть використовуватися окремо або як повний стек.

• asn1 — ASN.1 компілятор (ISO 8824).
• ns — DNS-сервер (IETF RFC 1034, 1035, DNSSEC).
• ldap — LDAPv3-директорія (IETF RFC 4510–4519 та ін.).
• ca — Certificate Authority з підтримкою ДСТУ 4145, X.509, PKCS#10, OCSP.
• chat — Безпечний месенджер на X.509, CMS, PKCS та ASN.1.

• bpe — BPMN-сервер (ISO 19510).
• nitro — Erlang/Elixir структурний HTML шаблонізатор для SPA/PWA додатків.
• form — Бібліотека форм і валідацій X-Forms.
• n2o — Nitrogen Веб-фреймворк для MQTT і WebSocket трактів.
• kvs — Абстракція над KV B-Tree сховищами.
• rpc — Бібліотека генераторів BERT/ETF Erlang/OTP серіалізації для Swift, JavaScript, Java.
• mqtt — MQTT-сервер (ISO 20922), аудитований автором Агди для NYNJA.

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

Synrc Research Center заснувала Groupoid Infinity для дослідження формальних мов та середовищ. Ми використовуємо AXIO.PRO для опису типових специфікацій, протоколів та інтерфейсів. Також Groupoid Infinity проводить дослідження в області гомотопічної теорії типів та формалізації математики.

Тут зібрані дидактичні матеріали для трьох курсів: 1) курсу по мові програмування Ерланг; 2) курсу по системному програмуванню; 3) курсу по веб-програмуванню. Ці матеріали включають документацію на бібліотеки SYNRC які використовуються як основне програмне забезпечення курсу. На цій сторінці ви маєте можливість одночасно переглянути усі модулі усіх бібліотек, основну серію анонсів та релізів, переклади статей, серію брошур про те як створювати сучасні Erlang та Elixir програми, та інші дидактичні матеріали.

У вільному доступі опублікований базовий Ерланг курс, який містить 12 годин лекційного матеріалу, що читався в 2013-2014 роках в місті Києві (Україна). Окремо доступний розширений курс по бібліотекам SYNRC в контексті систем повідомлень та управління бізнес-процесами (7 годин), що читався в місті Варна (Болгарія).

for depot in ca chat bpe form kvs ldap mail mq n2o nitro ns rpc review sample asn1
do git clone git@github.com:synrc/$depot
done

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

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