Showing 47 open source projects for "automation"

View related business solutions
  • AI-powered service management for IT and enterprise teams Icon
    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.
    Try it Free
  • Full-stack observability with actually useful AI | Grafana Cloud Icon
    Full-stack observability with actually useful AI | Grafana Cloud

    Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

    Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
    Create free account
  • 1
    freebpmnquality — QualiBPMN

    freebpmnquality — QualiBPMN

    Free software to validate BPMN business process diagrams.

    ABOUT This is a free, client-side tool for evaluation of BPMN business process model quality and correctness. This tool helps to check BPMN diagrams and find modeling mistakes. HOW TO USE? Extract the downloaded archive and open analytics/index.html file in the web browser (it is recommended to use Google Chrome, Mozilla Firefox, or Microsoft Edge) OR use it online here >> https://freebpmnquality.github.io/services/analytics/
    Downloads: 1 This Week
    Last Update:
    See Project
  • 2
    setupdocx

    setupdocx

    Multidocument automation by templates - for sphinx, mkdocs, epydoc ...

    The ‘setupdocx‘ provides a control layer for continuous documentation by the simplified creation, packaging, and installation of documentation. The provided commands are distributed as entry points and optional base classes for further customization into 'setup.py' - setuptools / distutils. Manages arbitrary document templates for the supported builder, supports multiple builds with arbitrary document layouts, designs, and patched contents. The current release supports the following...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    JSDAI is a toolkit for STEP (ISO 10303), the STandard for the Exchange of Product Model data, that enables linking of CAD, CAM, PDM, PLM, CAx systems. JSDAI supports the development of Express data models (ISO 10303-11) and their implementation in Java.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Jmr - Java Code Generator

    Jmr - Java Code Generator

    "black technology" will improve development productivity by 1.5 to 5

    More than just an entirely free Java code generator, It's also a development automation tool(Much more than a normal code generator). Maybe it can become your "black technology" will improve development productivity by 1.5 to 5 times, Zero coupling to your project and without changing anything. Normal code generator flow: Template → Source Code Jmr development automation flow: Template/Model/Action → Task → Source Code/Test Case/Document Template: Support Java Script(<%%> JSP-like) and Jmr Tag(set/get/for...) ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Go From AI Idea to AI App Fast Icon
    Go From AI Idea to AI App Fast

    One platform to build, fine-tune, and deploy ML models. No MLOps team required.

    Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
    Try Free
  • 5
    Data Modeler

    Data Modeler

    A tool for creating data models and databases for Microsoft SQL Server

    ...With object-level DDL previews, schema support, real-time model validation and DDL regeneration, sub-models, bulk undo/redo, drag 'n' drop foreign key creation, a data dictionary, update/delete foreign key automation, and customizable fonts and colors, this data modeler is an indispensable tool in any DBAs toolbox. I've used a lot of data modelers, from open-source free software to expensive modelers like Embarcadero ER/Studio. None of them come close for me in terms of ease-of-use and productivity gains. select * from DataModelers where Indispensable='true'; (1 row(s) affected) Facebook https://www.facebook.com/DataModelerTool/
    Leader badge
    Downloads: 4 This Week
    Last Update:
    See Project
  • 6
    SINVAS

    SINVAS

    Software Engineering Full Life Cycle Support Tool

    SINVAS is a software engineering platform tool to support Full Life Cycle of software development, and is composed of five products. SINVAS acquires Traceability, recyclability and visibility of software development. It will help greatly to the improvement of productivity and product quality. If you send various proposals, functions and bugs of SINVAS to us, we will reflect in the ongoing product development. SINVAS Product Introduction 1) SINVAS REQ - Requirement Management...
    Leader badge
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    PETRILab

    PETRILab

    Simulador de Redes de Petri Interpretadas para Controle

    ...Para utilizar o programa, baixe a versão mais recente em https://sourceforge.net/projects/petrilab/files/, extraia no local de preferência e execute o arquivo 'petrilab.pyw'. [1] M. V. Moreira e J. C. Basílio, “Bridging the Gap Between Design and Implementation of Discrete-Event Controllers”.IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERIN
    Downloads: 5 This Week
    Last Update:
    See Project
  • 8
    ATS4 AppModel is an application flow design tool supporting application specification work, model based testing and test script generation. It provides simple interface to manage complex models. ATS4 AppModel is part of Nokia ATS tool family.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    QPNet

    QPNet

    Synchronous Petri Nets' emulator

    QPNet (Quick Petri Net) is a fast Petri Nets' emulator, created by students of Moscow State Technical University of Radio Engineering, Electronics and Automation. It brings benefits for the educational process, while being under further development and extension. QPNet это быстрый эмулятор сетей Петри, созданный студентами МИРЭА. Он применяется в учебном процессе, а так же продолжает разрабатываться и эволюционировать.
    Downloads: 0 This Week
    Last Update:
    See Project
  • $300 in Free Credit Towards Top Cloud Services Icon
    $300 in Free Credit Towards Top Cloud Services

    Build VMs, containers, AI, databases, storage—all in one place.

    Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
    Get Started
  • 10
    * Model-checking/simulation-checking library for real-time system with dense-time models in C with CRD (Clock-Restriction Diagrams) technology. * Parametric analysis library for linear-hybrid systems in C with HRD (Hybrid-Restriction Diagram) technol
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Jensor is a light-weight, low-overhead Java Profiler built using Java BCI. Jensor provides innovative analysis modules like JVM Replay, Pattern Analysis and Tagging Engine for technical as well as business analysis based on the same underlying data.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    The fast2armc program translates source code of a counter automata model for FAST(er) tool to the ARMC prolog syntax.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    This is a collection of tools and a code library to assist engineers who are developing SystemVerilog based verification environments. Components include utility libraries, scoreboard and shutdown manager implementation, register tool, etc.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    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.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 16
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    A openArchitectureWare based Generator for deriving a WS-Agreement document from a formal description of a (Web-)Service and its associated assertions (SLO) to Quality Of Service (QoS). You can use predefined QoS parameters as well as introduce new ones.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Dresden OCL
    Dresden OCLallows to query arbitrary EMF-based models. It provides an advanced OCL2 Editor, a Parser, an Interpreter, and a Codegenerator for Java and SQL. WE MOVED TO GITHUB. PLEASE VISIT https://github.com/dresden-ocl/dresdenocl
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    JavaStates is a Java library designed to statically describe and animate the states of Java objects, while ensuring that the integrity of states is retained at all times. JavaStates brings OO Programming style to interface spec, design and coding.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    A lightweight Approach for GUI Developing. The Main Goal of this Project is reducing costs of GUI Developing in Enterprise Applications. Its more than a technical Framwework. Its a also set of Rules to help Developers to handle complexity. Please visit
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    A Java-based system for doing Model-Based Testing. Nephila will use Finite State Machine based models to create language-independent tests.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    The ability to assemble software by "plugging" it together has been a goal of software engineering. This project aims to provide tools related to this goal such as: "pins" as component connectors. static reasoning about software. Use of state machines.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    A toolkit to design applications using design patterns, with facility to generate code, and reverse engineering. Drag and Drop facility to create UML Class diagrams Support to write custom plug-ins for code generators and reverse engineering.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    STDProject (Simple Tree Driven Project) is a modeling tool for software development projects. It will let you build your project, watch its consistency, generate documentation and reuse work from one project to another.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Xcarecrows4MDA provides a complete toolset to build models and check their behavior for standalone applications or whole systems with a hierarchical, state driven approach. A test component checks the safety of the model under various situations.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • Next
MongoDB Logo MongoDB