Skip to content

synrc/synrc.com

Folders and files

NameName
Last commit message
Last commit date

Latest commit

ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 

Repository files navigation

๐ŸŒ SYNRC: Commercial Support

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.

Research and Development

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.

Copyright

2005โ€”2023 ยฉ Synrc Research Center