Search Results for "foremost"

...It emphasizes monoidal categories due to their wide applicability but can support any categorical structure that is formalizable as a generalized algebraic theory. First and foremost, Catlab provides data structures, algorithms, and serialization for applied category theory. Macros offer a convenient syntax for specifying categorical doctrines and type-safe symbolic manipulation systems. Wiring diagrams (aka string diagrams) are supported through specialized data structures and can be serialized to and from GraphML (an XML-based format) and JSON.

...The toolkit can be used for HTTP REST APIs, traditional dynamic web pages through templating, open connections like WebSockets, or just as high-level building blocks for native speed network applications. First and foremost the framework is aimed at the HTTP(S) protocol. This means web developers and HTTP API developers are first-class citizens. But the framework contains generic nuts and bolts such as; an I/O loop, IO Stream classes, and customizable TCP (with SSL) server classes giving it value for everyone doing any kind of high-performance network application.