For companies looking for low maintenance, secure, high performance connectivity for hybrid and remote workers
Cloudbrink’s Personal SASE is a high-performance connectivity and security service that delivers a lightning-fast, in-office experience to the modern hybrid workforce anywhere. Combining high-performance ZTNA with Automated Moving Target Defense (AMTD), and Personal SD-WAN all connections are ultra-secure.
Quant offers a wide range of solutions for retail. Within one integrated software system, it allows you to efficiently combine the management of retail space, shelf labels and marketing materials with task management, reporting and automatic replenishment.
...While your application is computing and logging results to a CSV file using the LiveGraph Writer API, the plotter lets you visualise and monitor the results live - by instantly plotting charts and graphs of the data.
Free HyperSim is a generic simulator (simulink like) platform adapted for shared projects. Components (icons) are plugins (python code, batch or executable files) which can be shared between users.
This software can simulate heat transfer in solid heterogenous materia using cellular automata. There are two different simulation methods and several test model implemented at the moment. It is also possible to define boundary conditions.
The Model Interaction Environment for Neuroscience provides tools for development, searching, editing, execution, and visualization of biophysical models, abstract mathematical models, and experimental protocols used in neuroscience research.
For businesses wanting a platform to list, manage, and co-sell on cloud marketplaces with minimal engineering effort
Streamline and automate your cloud sales cycle, enhance operational efficiency, and capitalize on marketplace opportunities with the Clazar Cloud Sales Acceleration Platform.
OptorSim is a Grid simulator designed to test dynamic replication strategies used in optimising data location within a Grid. Each simulated site contains several storage or computing elements. Simulated jobs run and file accesses may trigger replication.
It provides a graphical animated representation of a network simulation run (e.g. for ns-2). Further, common metrics are calculated and displayed. The tool is written in Java and supplies 2 frontends (applet and stand-alone application).
A topological data structure to handle 2D, surfaces and 3D simplicial meshes. This data structure is implemented in C++ using templates. It is based on Corner-Table and CGAL data structure.
This application provides a web based visual browser for NetCDF files. The application provides a simple and friendly user interface for getting a quick overview of the data contained in the files.
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.
Parasoft: Automated Testing to Deliver Superior Quality Software
Parasoft provides test automation for every phase of the software development life cycle.
Parasoft helps organizations continuously deliver high-quality software with its AI-powered software testing platform and automated test solutions. Supporting the embedded, enterprise, and IoT markets, Parasoft’s proven technologies reduce the time, effort, and cost of delivering secure, reliable, and compliant software by integrating everything from deep code analysis and unit testing to web UI and API testing, plus service virtualization and complete code coverage, into the delivery pipeline. Bringing all this together, Parasoft’s award-winning reporting and analytics dashboard provides a centralized view of quality, enabling organizations to deliver with confidence and succeed in today’s most strategic ecosystems and development initiatives—security, safety-critical, Agile, DevOps, and continuous testing.
PetriKit is a modular toolkit for Petri Net analysis. It allows the extraction of basic properties, extraction of invariants, and generation of reachability graph. Results can be formatted in plain text, HTML or XML files.
Tuatara Turing Machine Simulator is a graphical tool for designing and executing Turing Machines. Designed primarily for teaching purposes, it features a simple point-and-click interface.
RDV is a visualization environment for scientific and engineering data. Built on top of the RBNB dynamic data server, it supports local and remote data sources and can visualize numeric, video, image, and audio data in a number of different ways.
"Java Artificial Intelligence Markup Language PAD" is a tool that manages ProgramD AI (on local or remote machines) and AIML files with real-time previews and it provides a network support to test AI capabilities over many network protocols.
A MATLAB package to simulate sample paths of the solution of a Itô or Stratonovich stochastic differential equation (SDE), compute statistics and estimate the parameters from data.
A note of caution: SDE Toolbox is no more developed but it's still downloadable. Its inferential capabilities can be considered surpassed (at best). Actually the parameter estimation methods were already far from the state-of-art when the project began in 2007 (!). The considered implemented parametric and non-parametric Monte Carlo likelihood methods were chosen for their ability to treat both one-dimensional and multivariate SDE systems, although the quality of the inferential results can't match those obtained using more advanced techniques. ...
libLCS is a hardware description library in C++ aiming to be as powerfull and easy as the Verilog HDL. It currently supports logic gates, flipflops, clock, and facilitates delays, continuous assignments and variable value dumping into VCD files.
EcoMod is an OpenGL application for 3D modelling, simulation and visualization of ecosystems. Trees are modelled and used within simulation to render the emerging natural phenomena of spontaneous afforestation process. Multidisciplinary.
JPhysChem - a mathematical modeling toolbox designed to provide an abstract layer and a comprehensive graphical front-end for general model building and specific modeling and data processing in the field of mass spectrometry and physical chemistry.
Tools for finite automata simulation, minimization and grammar utilities (left recursion removal, context free grammar simplification and transformation to Chomsky Normal Form).
Qspline does quaternion interpolation such that the quaternion and angular rate and acceleration vectors are continuous functions of time, while maintaining quaternion normalization.
YAVISTA is a visualization tool making the debugging and the understanding of the MANET simulators 802.11 MAC layer easier thanks to a timeline representation. It works with NS-2 and Glomosim.
Visual Turing Machine is a tool for visually designing Turing machines. This means no coding in abstract scripting languages, but simple point&click design. It uses the a..z symbol set, plus the "empty" # symbol, and also simulates an infinite tape.
This project simulates a multi-agent system (swarm) behavior both graphically and not. The purpose of this project is to research the properties suggested in "stability analysis of swarms" V.Gazi & K.M.Passino. Using the vpython library for 3D modeling