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 applications. ERP.UNO is built on N2O.DEV; it powers banks, messaging systems, state-owned enterprises and 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