Simple editor and analyzer of Petri nets. It allows you to build reachability tree with/without instant transitions and Markov chains. It is also possible to set transition distributions and set all the parameters of the current distribution.
This project was made as a course project at NTUU "KPI" during attending classes "Computer modelling".
Feel free to make any changes to the current version or ask me if you have any question.
The Watermarks is a java library for images and text watermarking fingerprinting and tamper-proofing. The supported carrier formats for a watermark are JPEG and PDF. The project also aim to build a test environment to evaluate robustness of implemented a
Bluewave is an object oriented database and application server that provides a neat intuitive way to store data. Bluewave also features a powerful client and server API.
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.
The co-simulation adapation platform serves as programming framework and middleware to enable coupling of distributed, heterogeneous numerical models. The framework facilitates the adaptation and integration of new sub-models into a common simulation platform.
Open source Application and Data Integration Platform that allows developers and end-users to integrate and transform information using a web-based drag-and-drop interface that doesn't require coding or programming skills.
AI-powered service management for IT and enterprise teams
Enterprise-grade ITSM, for every business
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
SCTMF is an in development progress software aimed to educational learning of Formal Models, used in Computer Theory course.
The meaning of SCTMF is Sistema para Criação e Testes de Modelos Formais (Formal Model Creation and Tests System).