ROSEN means RObotic Simulation Erlang eNgine; it is a software library, written in Erlang, which simulates 3D environments and in particular autonomous mobile robots, each with its behaviour and interaction capabilities.
TUFDefender is a software demonstration of the Time Utility Functions and Utility Accrual paradigms. It is also a framework for simulation, visualization, and game development.
Xcarecrows4MDA provides a complete toolset to build models and check their behavior for standalone applications or whole systems with a hierarchical, state driven approach. A test component checks the safety of the model under various situations.
Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure
Native application identity and user-based security for your Azure cloud
Gain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
A free rendered GUI library providing windowing and widgets for the easy creation of HUDs for games. It supports themes/skinning, XML-based configuration, and works with any graphics API or rendering engine including Axiom, Irrlicht, and SDL.NET.
AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
Little b is a Lisp-based language which allows scientists to build shareable, reusable mathematical models of complex systems based on shared parts. The initial focus is molecular and multicellular networks.
Project web page: http://www.littleb.org
Matho is a OS Independant Application and API for mathematical operations, features include curve sketching, calculus, iterative formulae, algebra solver, 2d/3d geometry and mechanical and statistical functionality.
The Automatic Model Optimization Reference Implementation, AMORI, is a framework that integrates the modelling and the optimization processes by providing a plug-in interface for both. A genetic algorithm and Markov simulations are currently implemented.
OpenDiscreteDynamicProgrammingTemplate : founds optimal constrainted parameters of a discrete controls with second order optimization template replacing Hessian with directional derivatives and backpropagation for digital filter(as neural network)
A Java-written MIPS simulator developed to stimulate people learning the Assembly language. It adds graphics, sounds and user interation to make writing assembly programs more interesting.
N-sim is a framework for studying and developing wireless sensor networks. It emulates the computation of sensor platforms, simulates the wireless communications, and allows plug-in models for source detection simulation. Intended for cluster computing.
WaVeSim (Water Vehicle Simulator) is a simulation environment to test water vehicles' on-board software. It simulates surface and underwater vehicles' dynamics and acoustic signal propagation. Virtual sensors and 3D visualization system are available.
TAROT is a easy-to-use framework for Monte Carlo simulations in python. Calculations between different kinds of randomly distributed numbers are made as easy as basic arithmetics. Tarot provides an interactive graphical interface for interpretation.
A 64-bit clean (hopefully!), portable, object oriented library of tightly integrated low-level classes, templates and functions targetting realtime multithreaded applications such as midi sequencers, audio synthesisers, games and simulations.
The Distributed Real-time Embedded Analysis Method (DREAM) is a tool and method for the real-time verification and performance estimation of distributed real-time embedded (DRE) systems. Publications: http://www.ics.uci.edu/~gabe/publications.html.
JAgent is a multi-agents system test and development platform.
It provides a framework and GUIs helping to create and test collective strategies in a multi-agents system.