Showing 597 open source projects for "open-shell"

View related business solutions
  • Try Google Cloud Risk-Free With $300 in Credit Icon
    Try Google Cloud Risk-Free With $300 in Credit

    No hidden charges. No surprise bills. Cancel anytime.

    Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
    Start Free
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    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
  • 1
    C++ template library for modular construction of factored probabilistic time-series models, model trainers, and recognizers.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2

    MBSE for MagicDraw

    Plugin for MagicDraw to support MBSE with SysML

    Support for more productive Model Based Systems Engineering, following the recommendations in the Cookbook of the INCOSE SE2 Challenge team http://mbse.gfse.de The Plugin for the MagicDraw modelling tool provides support for model based document generation which ties together system model and documents to keep them up to date and consistent, using a AWYSIWYG editor in MagicDraw. It provides basic support to model variants and extract variants from a system model. It provides support...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 3

    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
  • 4
    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: 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
    FluidEarth
    Open source development for FluidEarth (https://fluidearth.net/default.aspx) which supports the OpenMI Standard (http://openmi.sourceforge.net) Here are OpenMI Association approved applications.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    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: 0 This Week
    Last Update:
    See Project
  • 7
    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
  • 8
    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
  • 9
    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
  • AI-generated apps that pass security review Icon
    AI-generated apps that pass security review

    Stop waiting on engineering. Build production-ready internal tools with AI—on your company data, in your cloud.

    Retool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
    Try Retool free
  • 10
    Travel Market Simulator

    Travel Market Simulator

    Travel Market Simulator

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    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
  • 12
    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
  • 13
    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: 34 This Week
    Last Update:
    See Project
  • 14
    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: 0 This Week
    Last Update:
    See Project
  • 15
    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: 5 This Week
    Last Update:
    See Project
  • 16
    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
  • 17

    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: 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

    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
  • 20
    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
  • 21

    EMFTrace

    Repository for dependencies between software design artefacts

    ...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 architectures and for software reengineering. EMFStore is used for integrating models and source code from different tools and vendors, while EMFTrace provides means for dependency detection, dependency visualization, and change impact analysis.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    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
  • 23
    The open-source project for development, analysing and installation of (Asset-Control) Asset Data Model(s), through Eclipse.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Trad4 is a fully concurrent, thread safe, graph-based programming language that scales linearly on multiple cores. It is initially intended for deployment in the financial industry to model real-time risk.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    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
MongoDB Logo MongoDB