Перша телекомунікаційна система
Архітектурна компанія SYNRC розробляє та підтримує систему автоматизації підприємства ERP.UNO, побудовану згідно формальної специфікації яка призначена для розробки багатофункціональних гетерогенних платформ для додатків та сервісів на основі шини та розподіленої бази даних. ERP.UNO уже використовується у банках, системах повідомлень, державних підприємствах та інших менших чисельних організаціях в Америці, Європі та Азії.
Synrc Research Center заснувала Groupoid Infinity для дослідження формальних мов та середовищ. Ми використовуємо FORMAL.UNO для опису типових специфікацій, протоколів та інтерфейсів. Також 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
