Ми — open-source організація, що спеціалізується на розробці безпечних систем миттєвого обміну повідомленнями (chat messengers) та ключових компонентів публічної інфраструктури ключів (PKI). Наші проєкти базуються на стандартах ASN.1, X.509, CMS/S-MIME, LDAP, DNS та сучасних криптографічних протоколах (включаючи постквантову криптографію та MLS).

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

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

• 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.

• crm — МІА:Документообіг
• ft — FormalTalk: мова програмування для МІА:Документообіг

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

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 [email protected]:synrc/$depot
done

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

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