Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Start Free
Our Free Plans just got better! | Auth0
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
ABPS - Advanced Branch Prediction Simulator - allows: branch prediction simulation using multiple predictors (GAg,PAg,PAp,GShare,Perceptron) and detection of unbiased branches. Results can be seen using charts. Used benchmarks: Stanford, SPEC2000, CBP2.
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.
Middlesim is a light-weight HLA simulation middleware framework. Providing relief from many of the annoying programming “features” of the HLA, it provides a simplified API that is both concise and easy to use.
The Distributed Real-time Embedded Analysis Method (DREAM) is a tool and method for the real-time verification and performance estimation of distributed real-time embedded (DRE) systems. Publications: http://www.ics.uci.edu/~gabe/publications.html.
Tools for finite automata simulation, minimization and grammar utilities (left recursion removal, context free grammar simplification and transformation to Chomsky Normal Form).
Java Expert Rule Based Inference Language. Jerbil is an open source rule processing engine written in Java. Currently Jerbil supports a full set of processing functions with text-based and XML interfaces; a Java interface is planned.
Secure File Transfer for Windows with Cerberus by Redwood
Protect and share files over FTP/S, SFTP, HTTPS and SCP with the #1 rated Windows file transfer server.
Cerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
YAVISTA is a visualization tool making the debugging and the understanding of the MANET simulators 802.11 MAC layer easier thanks to a timeline representation. It works with NS-2 and Glomosim.
3D cellular automata modelling software for large general purpose simulations. Uses custom scripts for rules and can distribute processing over several machines.
Wednus Darwin is the set of implementations of the Darwinian revolution workspace components; time, place, and creaures. The Oracle implements an abstract time manager which distributes tick signal to its member objects.
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.
ISIADIS: development environment for hierarchical software systems. ISIADIS allows prototyping, development and running software systems that are based on hierarchical (tree-like) architecture.
Visually build and simulate boolean logic circuits
Visually build boolean logic circuits and then simulate their operation. Create custom components from user-designed circuits. Written in Java for cross-platform functionality.
NOTE: This project has moved to Bitbucket at http://bitbucket.org/kwellwood/circuitsandbox
openSDK is a free and open-source implementation of Sony's OPEN-R Development Kit. OPEN-R is a trademark or a registered trademark of Sony Corporation.
The Simple Interface for Global Optimization Algorithms allows the specification of arbitrary search/optimization problems, solving of these problems, and the specification and implementation of optimization algorithms like evolutionary algorithms.
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
ESys.NET is a new system-level modeling and simulation environment. It takes advantages of .NET capabilities such as introspection, multi lingual model definition,... It allows more easily the creation of external tools (ex: verification, debugger, ...)
This project consists in a simulation software of robot A.I. It is aimed at comparing the efficiency of robot intelligence against movement tasks between fixed checkpoints in a logical world.
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.