Select a tag to browse associated projects and drill deeper into the tag cloud.
ZeroMQ
Analyzed about 20 hours ago
- The socket library that acts as a concurrency framework.
- Faster than TCP, for clustered products and supercomputing.
- Carries messages across inproc, IPC, TCP, and multicast.
- Connect N-to-N via fanout, pubsub, pipeline, request-reply.
- Asynch I/O for scalable multicore message-passing
Licenses:
lgplv3-st...
Spot
Claimed by EPITA Research and Developm... Analyzed 3 months ago
Spot is a C++17 library for ω-automata and LTL formulas manipulations, with applications to model checking and reactive synthesis. It comes with a dozen command-line utilities and Python bindings.
Licenses:
gpl3_or_l...
yampa
Y
Analyzed about 15 hours ago
Yampa is the culmination of our efforts to provide domain-specific embedded languages for the
programming of hybrid systems using the concepts of Functional Reactive Programming (FRP). Yampa is
structured using arrows, which greatly reduce the chance of introducing space- and time-leaks into
reactive, time-varying systems
Licenses:
No declared licenses
nextflow
No analysis available
A reactive workflow framework for bioinformatics pipelines
Mostly written in language not available
Licenses:
apache_2
SwimOS
Analyzed 1 day ago
Decentralized, end-to-end streaming application and real-time user interface platform—home of the WARP multiplexed streaming protocol
https://github.com/swimos/swim
Licenses:
apache_2
Xivoxc
No analysis available
XiVO-CC is an application suite developed by Avencall Group, and provides enhancements of the XiVO PBX contact center functionalities.
Mostly written in language not available
Licenses:
lgplv3-st...
matthias-BirdWatch
M
Analyzed about 4 hours ago
Tweet stream analysis and visualization using Play Framework 2.1.
Licenses:
apache_2
