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
Build Securely on Azure with Proven Frameworks
Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.
Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
IBDS is a library for dynamic simulation of multi-body systems in C++. It simulates rigid bodies, particles, many different joint types and collisions with friction.
(ZLib license, free for commercial use)
More infos: http://www.impulse-based.de
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.
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.
Paessler: Easy to Use With Enterprise Power. Free Trial
A low-code dashboard makes monitoring intuitive for any admin, while scripting and custom sensors give experts full control.
You shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
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.
PIMC++ is a code designed to perform fully-correlated simulations of quantum systems in continuous space at finite temperature using Path Integral Monte Carlo.
It is designed in a modular way to facilitate easy addition of new algorithms.
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.
Misgol is a Logic Simulator. Supports basic elements and user modules. Also it offers a adjustable timebase for the simulation of the logical circuits. Exports to different formats (LaTeX, PNG, JPG).
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
ComLinC (a COMmunications Library IN C programming language), a C library for communications research and simulation. It's based on GSL. ComLinC aims at providing elegent, fast functionality to the frequently encountered problems in communications area.
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...
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)
SpiNet is a neural simulation tool for large spiking networks with highly heterogeneous synapses. Neurons are modelled as I&F units with dual exponential synaptic conductances. Complex network models can be easily built using the included tool NetBuilder
FSEM is a set of freeFEM++ scripts and C++ code to solve the drift-diffusion (DD) semiconductor device equations by the finite element method (FEM). It was initially developed for the nonlinear study of semiconductors under high optical injection.
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.
ABPS - Advanced Branch Prediction Simulator - allows: branch prediction simulation using multiple predictors (GAg,PAg,PAp,GShare,Perceptron) and detection of unbiased branches. Results can be seen using charts. Used benchmarks: Stanford, SPEC2000, CBP2.
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.
Middlesim is a light-weight HLA simulation middleware framework. Providing relief from many of the annoying programming “features” of the HLA, it provides a simplified API that is both concise and easy to use.
This program is designed to simulate the spread of HIV/AIDS across a population, as well as the spread of narcotics such as Pot, Cocaine, and Heroin. It shows realtime in OpenGL graphics how people interact with each other and accumulate various diseases
Tools for finite automata simulation, minimization and grammar utilities (left recursion removal, context free grammar simplification and transformation to Chomsky Normal Form).