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.
Try free now
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.
That project aims at studying the impact of IT systems interactions on traveller demand and airline revenues. Passenger demand is generated (Monte Carlo) and injected into simulated CRS and airline IT systems. Differential analysis is then performed on various changes compared to a bottom line scenario.
Simulador de Redes de Petri Interpretadas para Controle
O PETRILab é um software multiplataforma desenvolvido inteiramente em Python. Ele permite a modelagem e simulação de Redes de Petri Interpretadas para Controle (RPIC), tendo suporte a todos seus elementos: lugares, transições, arcos ordinários e inibidores, eventos, condições e ações.
Com uma interface gráfica simples e intuitiva, o usuário consegue modelar e simular passo-a-passo sua RPIC de forma rápida e prática, afim de estudá-la e aprimorá-la.
A general recommender system with basic models and MRA
Multi-categorization Recommendation Adjusting (MRA) is to optimize the results of recommendation based on traditional(basic) recommendation models, through introducing objective category information and taking use of the feature that users always get the habits of preferring certain categories. Besides this, there are two advantages of this improved model: 1) it can be easily applied to any kind of existing recommendation models. And 2) a controller is set in this improved model to provide...
itemis CREATE - formerly known as Yakindu Statechart Tools (SCT) - is a tool for the specification and development of reactive, event-driven systems with the help of state machines. It consists of an easy-to-use tool for graphical editing and provides validation, simulation and code generators for different target platforms.
Visit http://www.statecharts.org for more information!
!! YAKINDU SCT HAS MOVED !!
DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools
Velocity Global’s Employer of Record (EOR) solution makes it simple to compliantly hire, pay, and manage employees across 185+ countries.
Our Global Work Platform™ allows you to engage talent, streamline onboarding, pay your people, and ensure compliance—all with the click of a button. Let our platform handle the heavy lifting so your team can focus on what they do best. Employers can onboard new, diverse voices to create dynamic teams. Talent can explore a new country while maintaining the job they know and love. Velocity Global removes the friction of remote work. Provide on-time and accurate payroll to your distributed teams, no matter where they are, through our Employer of Record solution. Quickly and easily classify talent and engage contractors with one expert assessment. Manage and pay your contractors and stay in compliance with local labor laws. Compliantly pay your international teams with one easy-to-use platform.
Snot The Second, the rubber boxes King, declared a holy war against evil plastic balls to defeat himself and his crew lives. Excentric crossplatform 2D labyrinth game written in Python. Just try to reach exit of each level.
Das erste Projekt mit dem RaspberryPi Model B - Ein Multifunktions Wecker.
Ich habe mir dieses Projekt ausgesucht da es derzeit auf dem Markt kaum bzw keine günstigen
Internet Radio Wecker zu kaufen gibt (meistens ab 80€ und aufwärts...) daher DIY
A Python programming environment providing memory sizing, profiling and analysis, and a specification language that can formally specify aspects of Python programs and generate tests and documentation from a common source.
This project provides a set of Python tools for creating various kinds of neural networks, which can also be powered by genetic algorithms using grammatical evolution. MLP, backpropagation, recurrent, sparse, and skip-layer networks are supported.
Most known is SPE, a python IDE with auto indentation&completion,call tips,syntax coloring&highlighting,uml viewer,class explorer,source index,todo list,pycrust shell,file browsers,drag&drop,Blender support.Spe ships with wxGlade,PyChecker and Kiki.
Ditto Edge Server is a lightweight standalone server for resource-constrained edge environments, based on the core Ditto Edge SDK.
With Ditto Edge Server, you can join devices as small as a Raspberry Pi to a local mesh network and synchronize data across edge environments.
Ditto's Edge SDK is the only thing your edge devices need to ensure your application is operational in any environment, regardless of network conditions.
...The design of classes is done graphically, by means of a code similar to UML. It includes an inverse engineering option, that is, from Python scripts, classes and relationships are identified and represented graphically.
...Major design goal was usability. The project was inspired by the static diagram editor of the Toolkit of Conceptual Modelling. Konzept is a pure Qt application written in Python.
Modelio-Open is a project hosting a set of open source extensions (SoaML, SysML and UML Testing Profile) for a previous version (1.2) of the Modelio Free tool .
Currently, the lastest version (2.x) of Modelio modeling and generation tool is available at http://modelio.org/downloads/download-modelio.html. All extensions are downloadable at http://forge.modelio.org/projects.
Gaphor is a UML modeling environment written in Python. Gaphor is small and very extensible.
The repository is located at http://github.com/gaphor/gaphor.
Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell.
The Location Containment Object Model(LCOM) is a simulation framework written in Python. LCOM provides a rule-based solution to handling partial object containment, object migration, message passing, and simulation observation.
This project develops a full-functional UML-Roundtrip-Tool for Python. It is realized as an Eclipse Plugin based on the plugins PyDev und Eclipse Uml2Tools. * Full Roundtrip Functionality * Uml2Tools Model Editor included * Live Validation * UML Views
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.
SPE is a python IDE with auto indentation&completion,call tips,syntax coloring&highlighting,uml viewer,class explorer,source index,todo list,pycrust shell,file browsers,drag&drop,Blender support.Spe ships with wxGlade,PyChecker and Kiki.
Ocular is a spreadsheet written entirely in python. Cell contents are evaluated by python after any standard spreadsheet coordinates are parsed. This allows the full Monty from Python to be implemented in a visual environment.
Coral is a tool and a development platform to create and transform models and modeling languages. It can be used to edit UML models, to develop editors for other modeling languages and to implement MDA and QVT-like model transformations.