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.
Start Free
Streamline Azure Security with Palo Alto Networks VM-Series
Centrally manage physical and virtualized firewalls with Panorama
Improve your security posture and reduce incident response time. Use the VM-Series to natively analyze Azure traffic and dynamically drive policy updates based on workload changes.
PREESM provides a complete framework for fast prototyping. It generates a simulation and an optimized multiprocessor code from graph descriptions of algorithm and architecture. Please visit the project homepage at http://preesm.sourceforge.net.
Generating PLC programs from formal specifications
G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications.
See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv.
...Without modifying the existing code, you can intercept Ajax requests and return simulated response data. An intuitive interface. Support the generation of random text, numbers, Boolean values, dates, emails, links, pictures, colors, etc. Support to expand more data types, support custom functions and regulars.
Petri-LLD is a graphical development environment for real-time automation control and is written in Java. It is based on a form of Petri net, and compiles to a number of programmable logic controller (PLC) languages as well as Java and Visual Basic.
RANGE: produce random genetic transcription networks in the NEMO language, which when compiled outputs models in Systems Biology Markup Language. Generate synthetic microarray data, or use NEMO alone to SBML-ize a network, or visualize it in cytoscape.
The target system of this project is to develop mathematically efficient program code generator from cellml like biological models described by mathematical markup languages.
itemis CREATE - formerly known as Yakindu Statechart Tools (SCT) - is a tool for the specification and development of reactive, event-driven systems with the help of state machines. It consists of an easy-to-use tool for graphical editing and provides validation, simulation and code generators for different target platforms.
Visit http://www.statecharts.org for more information!
!! YAKINDU SCT HAS MOVED !!
DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools
Toolkit for Automatic Control and Dynamic Optimization
ACADO Toolkit is a software environment and algorithm collection for automatic control and dynamic optimization. It provides a general framework for using a great variety of algorithms for direct optimal control, including model predictive control, state and parameter estimation and robust optimization. ACADO Toolkit is implemented as self-contained C++ code and comes along with user-friendly MATLAB interface. The object-oriented design allows for convenient coupling of existing optimization...
GeneSim is a code generator for dynamic systems: it takes an XML description of the system and produces the code that executes it. The typical usage of GeneSim is to generate simulators of engineering systems.
Full-stack observability with actually useful AI | Grafana Cloud
Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.
Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
The Xholon project explores: software as systems of linked nodes, organized hierarchically. The Xholon toolkit supports this back-to-basics approach, and demonstrates practical benefits through examples from numerous domains.
ZASM is a 2 pass assembler for Zilog's 8-bit CPU Z80.
Supported platforms: Unix-style OS, e.g. MacOS X, Linux, BSD.
Special support for ZX Spectrum emulator file formats.
Binary or intel hex file output.
A platform for developing mathematical models of static/dynamic physical systems, a simulation evironment for such models and a set of component libraries. It combines features from Simulink, Modelica or AMESim with unique features on its onw.
SPACS is an extension for Macromedia / Adobe Flash that automates flash tutorial creation. Using the SPACS panel, users submit a sequence of images, define hotspots which trigger question / answer sets, and outputs a flash file.(http://tinyurl.com/af6og5
TransimsGui and makeTransims allow users to automatically generate triptables, timetables and vehicle files, edit individual control files, create batch files for transims feedback processes, run exe-control file pairs and run batch files.
METIL is a python-like interpreted or compiled language made for speed and generic programming, as in C++ but with static symbolic computations, type propagation, "for" surdefinition. Object orientation is centered on properties, rather than hierarchy.
Java Fuzzy Editor is a basic editor to allow creation of fuzzy based rules. It will save to serveral formats including to source code in several languages.
8. Mai 2005: We have discontinued SourceForge as a download place for our open source projects. You can now download these projects directly from the XLOG Technologies GmbH web site at http://www.xlog.ch/omonia.
frCoder is a set of tools used to write, test, and simulate software written for the FIRST Robotics Competition (FRC). frCoder also includes basic libraries of common techniques used in the FRC.
ESOMA is a component orientated framework for simulation and evaluation
of arbitrary microprocessor and DSP architectures. Simulators using
ESOMA are runtime configurable. Architectural changes do not need
recompiling. Programming language is C++ (Linu
Framework for modelling of Natural General Intelligence. This project aims at creation of open source AGI (Artificial General Intelligence) through modelling of natural thinking. See http://roland.pri.ee/bakalaureusetoo/ for theoretical details.