New customers can spin up VMs, build with AI, and query data at no cost.
Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
Start Free
Veeam Data Platform v13.1 - Get Your Free Trial
Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.
Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
Pronounced "Open Spippy" (like "skippy" but with a "p" instead of a "k"): A reference implementation of the Session Peering Provisioning Protocol binding for SOAP being developed in the IETF's DRINKS Working Group.
it is a java program for mobile phones that simulates risk board game battle. you just enter the number of the attackers and defenders and it gives you the result of how many soldiers are alive at the end of the battle.
PCSIM is a tool for distributed simulation of heterogeneous networks composed of different model neurons and synapses. The development of PCSIM was supported by the FACETS EU project.
This is a network simulator. This is meant to be user friendly as well as feature rich. This field lacks software with good user interface. Even the commercial softwares in this field is quite lame. This aimed to go along Multisim(R) and Blender(R) form
This is an IDE for 8051 which can be used to write and simulate assembly language program and find out errors if any. The project implements almost all 8051 functions. It visually shows the content of all register and memory.
The TM Simulator is a Java/JavaFX Application which provides a graphical user interface to configure and simulate Turing Machines. This is a student project from the technical university of Vienna, to support presentations of Turing Machines.
JTrek is a real time space combat simulator. Controlled via a keyboard through a telnet interface, you can choose from a variety of ships to battle it out for gold in a text based 3d environment.
An 8085 simulator on Java platform. Supports all 8085 interrupts and instructions. User enters 8085 assembly language programs, whose simulation is performed by the software. For academic purposes only.
The program Virtual Network Simulator for Web 2.0 is a tool that allows the simulation of assembly and configuration of computer network projects, virtual or physical. It also simulate the sending of a package between the hots of origin and destinati
Siafu simulates individual agents and their context, from home to city-wide scenarios. As a developer, you use the API to write your simulation for the purposes of data-set generation, test or visualization, optionally hooking it to your own application.
Coho is a reachability analysis platform for high-dimensional, nonlinear hybrid systems, especially for analog circuit verification.This tools has been applied to verify many circuits, including toggle, arbiter, flipflop, celement, oscillator, etc.
4 Nelson Digital Logic CircuitSimulator is a digital logic circuitsimulator that allows user to design and implement a digital logic circuit over a breadboard. The development of this project is still going on.
A suite of libraries and applications using genetic algorithms and AI for financial analysis and simulation. Currently the focus is to route FIX messages to an exchange simulator and use genetic algorithms to explore algorithmic trading strategies.
This program provides for easy modification and viewing of SPICE circuit files. It will also read SPICE3 RAW format (as well as GnuCap) and create graphs of results through an interactive GUI. It supports waveform math, copying to clipboard, and saving.
Java library for manipulating BDDs (Binary Decision Diagrams). Binary decision diagrams are widely used in model checking, formal verification, optimizing circuit diagrams, etc.
Application has been created during my Master Degree studies at PJIIT. It was inspired by "Business Process Modeling and Simulation with UML" articles by Pan-Wei Ng published on The Rational Edge Apr / May 2002.