Архітектурна компанія
Архітектурна компанія SYNRC розробляє та підтримує систему автоматизації підприємства
ERP.UNO,
побудовану згідно формальної специфікації яка призначена для розробки багатофункціональних
гетерогенних платформ для додатків та сервісів на основі шини та розподіленої бази даних.
ERP.UNO уже використовується у
банках,
системах повідомлень,
державних підприємствах
та інших менших чисельних організаціях в Америці, Європі та Азії.
Дослідження
Synrc Research Center заснувала
Groupoid Infinity для
дослідження формальних мов та середовищ. Ми використовуємо MLTT для опису типових специфікацій,
протоколів та інтерфейсів. Також Groupoid Infinity проводить дослідження в області гомотопічної
теорії типів та формалізації математики.
2005—2019 © Synrc Research Center
АРХІТЕКТУРА
Software architecture defines services running in
your environment using heterogeneous protocols and languages.
Two crucial services of modern applications are message bus and storage services.
The message bus along with storage services form a basis of distributed application.
We also provide expertise in: 1) MQTT, AMQP, XMPP, and other less known
protocols as for message bus; 2) distributed
databases, DHT, consistency. Depending on your needs we create simple and
managable architecture, probably involving other services,
like auth service, business process management, roster management, etc.
The result of this phase is an application protocol specification (API),
and components design.
ПРОТОТИПУВАННЯ
We create prototypes using Erlang language,
as it allows the code to be small and concise,
yet undestandable and manageable by engineers. Usually this
phase can take couple months. As a result you get a demo of
runnable proof of concept.
ШКОЛА
We did public and private trainings for
Crytek, PrivatBank, TecSynt, Quanterall and other companies.
We have written books, turtorial, articles, and other support
materials that forms a courses program.
Erlang Courses 2013—2014
ДОМОВЛЕННІСТЬ
If you want to push our work in your own direction,
you can contract us to provide paid services for
your company by commiting to Synrc open source repositories.
By signing the contract you will unlock the author's supervision,
architecture lead, code review, and trainings for your team.