The Most Powerful Software Platform for EHSQ and ESG Management
Addresses the needs of small businesses and large global organizations with thousands of users in multiple locations.
Choose from a complete set of software solutions across EHSQ that address all aspects of top performing Environmental, Health and Safety, and Quality management programs.
Learn More
AI-powered SAST and AppSec platform that helps companies find and fix vulnerabilities.
Trusted by 750+ companies and performing 200k+ code scans monthly.
ZeroPath (YC S24) is an AI-native application security platform that delivers comprehensive code protection beyond traditional SAST. Founded by security engineers from Tesla and Google, ZeroPath combines large language models with advanced program analysis to find and automatically fix vulnerabilities.
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).
Issuance in seconds. Full spending control. Perfect for media buying.
Wallester Business is a leading world-class solution to optimize your company’s financial processes! Issuing virtual and physical corporate expense cards with an IBAN account, expense monitoring, limit regulation, convenient accounting, subscription control — manage your finance on all-in-one platform in real time! Wallester Business benefits your business growth!
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".
pyomnet provide an object-oriented way to define the network topology.
It's a good way to illustrate network in an abstract way.
pyomnet could generate the NED scenario and configuration(latter) for OMNeT++ simulation tool.
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.
See what everyone is allocated to. Projects, clients, meetings - all in one tool.
The fast, simple way to schedule people, equipment and other resources online.
Designed to replace clunky, old scheduling spreadsheets, Resource Guru helps managers get organized fast. The platform covers resource planning, resource scheduling, resource management, staff leave management, reporting, and more.
MANIKK is a toolkit for generating numerical interaction parameters -- describing the interaction between metallic atoms in a coherent lattice -- and for performing numerical Monte Carlo-simulations of physical properties of alloy systems.
gCoder is a GUI, server-client based dyanmic programing contest controler built in Python. Its a programing contest controller like pc^2 and TopCoder(TM) areana. It use system test module, which can actually test contestent codes without any human interf
We experiment with Evolution of Artifical Neural Networks, combining the two fields of Evolutionary Computation and ANNs. Our methods are applied to a variety of interesting problems. To learn more, click on "Home Page", "Mail", or "Files".
KU1K is a set of tools for 4D,5D and 6D compact U(1) lattice gauge theory Monte Carlo simulation using the Skipis-Vantzos algorithm. As the calculations involved, even for the 4D case, are consuming, the project is modular so as to run on the Grid.
A collection of modules and enduser tools designed to help design, test and use system models. While my research (hence, the examples) is focused on hydro-ecological systems, the program can be used on any system characterized by ODEs (and soon PDEs?)
SimED is a user-friendly Differential Equation simulation software. It can integrate numerically ODEs (Ordinary Differential Equations) using several methods, plot time and phase-space diagrams for variables, and interactively choose initial conditions.
FEVal, the Finite Element Evaluator written in Python, provides easy conversion for many Finite Element data formats (both binary and ascii). Mesh modification is very easy. Values of model results can be accessed given coordinates in physical space.
Simulator for large neuronal networks using leaky INF as its basic element. Simple few line scripts will enable rapid creation of large networks with different connectivities. Aimed at researchers interested in quickly testing large networks of neurons.
The "RISC-0" project is a collection of Python libraries and programs to support the RISC architecture described by Prof. Niklaus Wirth on his web page (http://www.inf.ethz.ch/personal/wirth/Articles/FPGA-relatedWork/index.html)
SimForge is a web-based Agent Based Model of an Open Source Ecosystem implemented in Python with Django. Developers act on randomly drawn preferences to create, collaborate, and use software.