SYNRC defines ERP.UNO
a full-stack specification and implementation for banking,
messaging and platform development. It specifies the way
to scale applications, protocols, processes, services, and storage.
Ready for high-speed, low-latency IoT, MQTT, TCP, UDP and WebSocket
is built on N2O.DEV
; it powers banks
, state-owned enterprises
other organizations around America, Europe and Asia.
Synrc Research Center has founded Groupoid Infinity
to research the
formal languages and runtimes. We use dependent types as specification langauge
to define datatypes, protocols, and interfaces. Also Groupoid Infinity is doing
research in HoTT and formalization of mathematics.
2005—2023 © 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.
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.