Showing 559 open source projects for "mx-linux"

View related business solutions
  • Bright Data - All in One Platform for Proxies and Web Scraping Icon
    Bright Data - All in One Platform for Proxies and Web Scraping

    Say goodbye to blocks, restrictions, and CAPTCHAs

    Bright Data offers the highest quality proxies with automated session management, IP rotation, and advanced web unlocking technology. Enjoy reliable, fast performance with easy integration, a user-friendly dashboard, and enterprise-grade scaling. Powered by ethically-sourced residential IPs for seamless web scraping.
    Get Started
  • Top-Rated Free CRM Software Icon
    Top-Rated Free CRM Software

    216,000+ customers in over 135 countries grow their businesses with HubSpot

    HubSpot is an AI-powered customer platform with all the software, integrations, and resources you need to connect your marketing, sales, and customer service. HubSpot's connected platform enables you to grow your business faster by focusing on what matters most: your customers.
    Get started free
  • 1

    Event-B Generic Instantiation

    A Rodin Platform Plug-in for Generic Instantiation

    Generic Instantiation tool is developed by HITACHI and ETHZ for Event-B as a Plug-in for RODIN platform. Main features of the tool are as follows: - Generic Instantiation Files for storing information about generic instantiation. - Wizard for creating generic instantiation files. - Editor for generic instantiation files. - Static checker for generic instantiation files. - Performing generic instantiation by creating a new project based on a source project and generic instantiation files.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    The bflow* Toolbox is an open source tool kit for business process management. The objective of bflow* is to explore new ways and scenarios for the development and use of modelling tools.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 3
    Green, an Eclipse plugin, is an advanced yet simple UML class-diagram tool, developed primarily for student use. It does live round-tripping, so it's easy to move between diagram and code views. It's extensible: users can define their own relations
    Downloads: 5 This Week
    Last Update:
    See Project
  • 4
    astah-anycode-plugin

    astah-anycode-plugin

    Code generation from UML to any language (Java, Objective-C, PHP...)

    Code generation plugin for Astah* UML. It enables to generate source code from UML class diagrams to various languages (Java, JPA, PHP, C#, Objective-C...) with custom templates. It now makes source code generation easy thanks to built-in directives.
    Downloads: 0 This Week
    Last Update:
    See Project
  • The #1 Embedded Analytics Solution for SaaS Teams. Icon
    The #1 Embedded Analytics Solution for SaaS Teams.

    Qrvey saves engineering teams time and money with a turnkey multi-tenant solution connecting your data warehouse to your SaaS application.

    Qrvey’s comprehensive embedded analytics software enables you to design more customizable analytics experiences for your end users.
    Try Developer Playground
  • 5
    SEPIA: Security-oriented PN Framework

    SEPIA: Security-oriented PN Framework

    Petri net framework for security related modeling and reasoning.

    SEPIA provides implementations for various types of Petri nets. Along Place/Transition-nets, it supports Petri nets with distinguishable token colors and defines coloured workflow nets, where coloured tokens are interpreted as data elements used during process execution. To support information flow analysis of processes, SEPIA defines so-called IF-Nets, tailored for security-oriented workflow modeling which enable users to assign security-levels (HIGH, LOW) to transitions, data elements and...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    JAGAL: Java Graph Library

    JAGAL: Java Graph Library

    Java graph library

    JAGAL provides implementations for directed graphs (weighted and unweighted) and varoius types of transition systems as well as utils for graph traversal and modification. JAGAL builds upon the Java library TOVAL (located at http://sourceforge.net/p/toval). To use JAGAL, make sure the TOVAL library is on the build path. This library uses and encloses jGraphX (https://github.com/jgraph/jgraphx). A documentation for JAGAL can be found under http://doku.telematik.uni-freiburg.de/jagal.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    MSCViewer

    MSCViewer

    A tool for visualization and analysis of logs as sequence diagrams

    MSCViewer is a tool intended for debugging of control flows in concurrent, distributed systems. The tool loads logs generated by various entities in the system and visualize a sequence diagram chart for events and interactions. The diagram is fully interactive: entity can be added/removed from the diagram and shuffled; events can be filtered, searched, highlighted and annotated with comments. MSCViewer features integration with a Python interpreter which allows writing Python scripts...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    The Fornax-Project offers ready-to-use components based on the openArchitectureWare-Generator-Framework. This can be used to create generators for the Software-Development in Modell-Driven-Environments (MDA, MDD, MDSD).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    RANGE: produce random genetic transcription networks in the NEMO language, which when compiled outputs models in Systems Biology Markup Language. Generate synthetic microarray data, or use NEMO alone to SBML-ize a network, or visualize it in cytoscape.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Build Securely on Azure with Proven Frameworks Icon
    Build Securely on Azure with Proven Frameworks

    Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

    Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
    Download Now
  • 10
    jFuzzyLogic is a java implementation of a Fuzzy Logic software package. It implements a complete Fuzzy inference system (FIS) as well as Fuzzy Control Logic compliance (FCL) according to IEC 61131-7 (formerly 1131-7).
    Leader badge
    Downloads: 44 This Week
    Last Update:
    See Project
  • 11
    The BART (B Automatic Refinement Tool) project aims at developing an automatic refinement tool for B machines.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Taylor
    Taylor MDA is a specialized UML modeling tool based on Eclipse. It uses convention-based techniques to generate the maximum code from streamlined UML models. Templates are included for generating JEE applications based on JPA/EJB3 and JSF/Seam/Facelets.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 13
    PETRILab

    PETRILab

    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. Além disso, o software conta com uma...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 14
    VisualPerspective

    VisualPerspective

    A diagram/modeling tool.

    VisualPerspective is a modeling and diagram creation tool. It enables to create free diagrams but also semantic oriented ones (for instance UML diagrams), in order to run automatic processing (transformations, exports, parsing). There is currently no installer, so you should follow this procedure : http://enzweiler.info/visualperspective/002-installation.html You are very welcome to report any issue with VP.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    A reverse engineering, metamodel driven tool that scans PHP files and directories, and delivers an UML/XMI representation of the classes / packages found. The XMI code that it generates can be imported into any UML modeling tool. It is available on PEAR.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16

    DBGraph

    A tool for automatically generating UML database diagrams.

    The diagrams are represented in the DOT language and can be interpreted by the visualization software Graphviz (http://www.graphviz.org/). Features: - Use HTML tables as templates for customizing the diagram design - Already comes with predefined connections for some common database systems, new systems can easily be added.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 17

    instantFSM

    C++ inline state machine library

    instantFSM is a header-only C++ state machine library. Its goal is to make state machine declaration and use easy enough that it can be integrated into your projects painlessly. Have a look atp the wiki where you will find a tutorial, samples, and a cheatsheet to get accustomed with instantFSM. The only instantFSM header file is downloadable from the files section or you can check it out from the git repository.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    PROFACE is a User Interface Prototyper developed in Java. The objective of Proface is not code generation, but allow design/creation of interface idea with colors, buttons, texts, images, links and others.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    An optimized C library for numerically solving exterior ballistics problems. It supports standard drag models (Drag Functions G1-G8). The solution method is the common "3 degree of freedom" analysis found in many commercial programs.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 20

    EMFTrace

    Repository for dependencies between software design artefacts

    EMFTrace extends the EMFStore repository by elicitating dependencies between related models of different modeling and programming languages. The explicit recording and modeling of different types of dependencies as traceability links shall support evolutionary changes by impact analysis, early evaluation of quality flaws, and better comprehension. It is an open source project to support the practical application of research results regarding development methods for evolution of software...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Tefkat is the transformation engine for the Eclipse Modeling Framework (EMF). It implements a state-of-the-art declarative model-to-model transformation language, including a source-level debugger and support for UML2, MOF2, and XML Schema-based models.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    PlantUML Modeler

    PlantUML Modeler

    A graphical editor for PlantUML diagrams.

    PlantUML Modeler lets you create UML diagrams through a graphical user interface and transform them to the PlantUML language.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    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: 1 This Week
    Last Update:
    See Project
  • 24
    MRA

    MRA

    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    YAKINDU Statechart Tools / itemis CREATE
    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
    Downloads: 0 This Week
    Last Update:
    See Project