A free cross-platform editor for the DRAKON visual language.
PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)
EcoLab is a C++ based Agent Based Modelling system, with emphasis on high performance computing for scaling to large simulations.
This project documents the development of a suite of ns2 grid network simulators that was done as part of the EC-GIN project. The aim is to refine and develop these simulators to provide input to the larger ns2 and grid simulation community.
KML is a knowledge base with support of logical modeling. Advanced model is used to represent knowledge as a set of statements similar to natural language sentences. This project hosts a set of model storage library and server (vrb-ols) and clients.
Open Source Security Assessment Management System
As information security professionals, we conduct security assessments for companies. One of the biggest problems we have is after all the data is collected, how can we correlate the data accurately. So we decided to start a project to solve this problem, and we are calling it Open Source Security Assessment Management System (OSSAMS). OSSAMS is a framework for putting configuration files, security scan data files (like Nessus), and other data collected, during a security assessment or penetration test, into a RDBMS. The framework is going to be designed in a fashion similar to Metasploit, SNORT, or other systems that allow the security community to create plugins for new tasks as needed. The primary goal of OSSAMS is to normalize the data, there by allowing the security professional to better assess the current state of security for an organization.
The 3d Default: One computer room, a utility room, and living space, optional outdoors. The computer room should simulate. Utility-room: 3d-designed actions. Living space for designs andor avatar use.
The purpose of the project is to develop a programming language whose semantics is based on a minimal, imperative mathematical machine.