Atera all-in-one platform IT management software with AI agents
Ideal for internal IT departments or managed service providers (MSPs)
Atera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.
Learn More
Total Network Visibility for Network Engineers and IT Managers
Network monitoring and troubleshooting is hard. TotalView makes it easy.
This means every device on your network, and every interface on every device is automatically analyzed for performance, errors, QoS, and configuration.
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.
This software simulates cellular behavior based on specific rules (e.g. Game of Life or Wireworld). The UI will be replaceable and there will be a feature for importing rules from a file based on a format developed for this purpose.
It's a modern take on desktop management that can be scaled as per organizational needs.
Desktop Central is a unified endpoint management (UEM) solution that helps in managing servers, laptops, desktops, smartphones, and tablets from a central location.
Java based multi-agent platform built on an organizational model (agent, group, role). MadKit provides general agent facilities (lifecycle management, message passing, distribution, ...), and allows high heterogeneity in agents.
The Quantitative Finance Framework (QFF) supports the development of software libraries in mathematical finance. The main field of applications are the pricing of derivatives and the management of financial risks.
Combining the benefits of static and dynamic source code analysis to deliver the most advanced & exhaustive code verification tool.
TrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.
A native Java port of freesteam - http://freesteam.sourceforge.net/
An open source implementation of international-standard IAPWS-IF97 steam tables from the International Association for the Properties of Water and Steam (IAPWS).
Dioscuri is an x86 computer hardware emulator written in Java. It is designed by the digital preservation community to make sure that documents and programs from the past can still be accessed in the future. Dioscuri is durable and component-based.
GISpatialNet is a Java-based tool for mapping network data (nodes and edges between them) to spatial coordinates; reformatting network and spatial data together; and calculating spatial network measures.
Install by saving to c:\ drive and typing the following in a command line:
java -jar c:\GISpatialNet-0.9b.jar
PSIGHOS is a Java-based simulation library. PSIGHOS is focused on the simulation of business processes and comprises a parallel core so to reduce the execution time for large models.
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.
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.
Security Constrained Unit Commitment. Simulation of Power Markets cleared through central commitment and dispatch (MISO/SPP, PJM, ISO NE, Cal ISO MRTU, ERCOT Nodal). Calculates nodal LMP.
GridABM is an easy-to-use toolkit to develop high-performance agent-based models (ABMs) in Repast. GridABM facilitates large-scale simulation of ABM on multicore computers, local computing clusters, or computational grids.
GridSim allows modeling and simulation of entities in parallel and distributed computing systems such as users, applications, resources, and resource brokers/schedulers for design and evaluation of scheduling algorithms. http://www.gridbus.org/gridsim
A Java library and set of tools to quickly and easily manipulate graphs (set of nodes and edges) and dynamic graphs. The principal trait of this library is its ability to manage (create, edit, layout, display) continuously evolving graphs.
The development of this project now takes place on Github. Visit the official Graphstream website at http://graphstream-project.org