* Model-checking/simulation-checking library for real-time system with dense-time models in C with CRD (Clock-Restriction Diagrams) technology. * Parametric analysis library for linear-hybrid systems in C with HRD (Hybrid-Restriction Diagram) technol
Distributed Network emulation tool for high rate packet
I need your help: In order to make this framework easier and more useful, I need your contribution. The idea behind this framework is to develop a GUI like GNS3 and make this framework more stable. So if you are interested and have C/C++ programming skills, please contact me at zahid.med@gmail.com
This framework allows to emulate a network by managing ethernet packets coming from two kind of interfaces: UDP and virtual network card.
This tool is similare to dynamips (GNS3) but it can...
MASyV (Multi-Agent System Visualization) enables one to write agent-based models/cellular automata, eg. in C, visualize them in real time & capture to movie file with MASyVs GUI & message passing lib. Includes examples: Hello World, ants, viral infection
HoloMenu is a C library for creating GUIs with holographic simulator view. It helps creating buttons, text boxes and other components with effects similar to Syndicate Wars. It is designed to use as menu in games, but may be used for other projects.
Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.