SYNRC defines ERP/1
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, N2O powers banks
, and several
startups 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.