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.
Vision: To create a city simulation using a all volunteer organization that reaches across the entire world. The project will be created in a virtual workspace utilizing the communication devices that are attainable for a wide volunteer base.
This project aims to provide libraries in a few languages which allow for NORAD general perturbation element sets to be used in calculating the position and velocity of space objects.
This project going to develop a thermodinamical server for chemical simulation, equip design, scientific module for other aplication or chemical education. Also the thermo server is developed to complete the project of chemical simulation Sim42.Spanish
Unlimited organizations, 3 enterprise SSO connections, role-based access control, and pro MFA included. Dev and prod tenants out of the box.
Auth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
The Automatic Model Optimization Reference Implementation, AMORI, is a framework that integrates the modelling and the optimization processes by providing a plug-in interface for both. A genetic algorithm and Markov simulations are currently implemented.
This project is A Mitochondrial OxydoReduction Simulation System. It consists of two linked projects: a program for displaying and analysing large biomolecular systems (Floral) and a multi-agent simulator for biomolecular oxydoreduction systems (AMORSS).
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.
edef - A small simulation framework for logic circuits, autoregressive processes, digital controller circuits and many more. Also there is a GUI application, that integrates a simple development environment and a circuit editor.
STOCHSIM is a stochastic simulator for biochemical reactions. The particles are represented as individual software objects which react according to probabilities derived from concentrations and rate constants. Simple spatial structures can be built.
Pysolar is a Python library for calculating the position of the sun relative to the earth as a function of latitude, longitude, and time. There is also code included for other problems related to the development of photovoltaic systems. Still in alpha.
Poor Man's HPC is a framework that allows distributing and running code on a server farm. pmHPC is a scaled down and simplified version of distributed computing projects such as SETI, so is a perfect fit for enthusiasts and universities.
BrennerMD is a public domain Fortran molecular dynamics program by Donald Brenner and other people. This project is to maintain the original source code and to build a Python interface on top of it.
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
Esse projeto é uma reimplementação dos processadores hipotéticos descritos no livro "Fundamentos de Arquitetura de Computadores" de Raul Fernando Weber, usados em diversas faculdades no sul do Brasil, incluindo o Instituto de Informática da UFRGS.
OpenWWTP is wastewater treatment plant simulator based on (modified) Activated Sludge Model (ASM2d) The project is in very beginning stage (help wanted).
rsim is a simple discrete-event communications network simulator initially developed to test routing protocols for undersea acoustic modem networks. If done well then rsim will eventually be a good replacement for "ns2".
A package for preference handling and aggregation rules. A number of voting rules discussed in social choice literature have been implemented in order to study various properties of these rules in simulations with randomly generated preferences.
Cellogica is a cellular logic analysis tool. It incorporates sequential logic and finite state machine to elucidate the relationship between transcription factors and corresponding gene expression.