Showing 307 open source projects for "sector"

View related business solutions
  • Ship Agents Faster Icon
    Ship Agents Faster

    Transform your applications and workflows into powerful agentic systems at global scale.

    Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
    Get Started Free
  • $300 Free Credits for Your Google Cloud Projects Icon
    $300 Free Credits for Your Google Cloud Projects

    Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

    Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
    Start Free Trial
  • 1
    RODIN
    Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
    Leader badge
    Downloads: 301 This Week
    Last Update:
    See Project
  • 2
    DAE Tools Project

    DAE Tools Project

    Object-oriented equation-based modelling and optimisation software

    DAE Tools is a cross-platform equation-based object-oriented modelling, simulation and optimisation software. It is not a modelling language nor a collection of numerical libraries but rather a higher level structure – an architectural design of interdependent software components providing an API for: - Model development/specification - Activities on developed models, such as simulation, optimisation, sensitivity analysis and parameter estimation - Processing of the results, such as...
    Leader badge
    Downloads: 26 This Week
    Last Update:
    See Project
  • 3
    JGraphT
    JGraphT is a free Java class library that provides mathematical graph-theory objects and algorithms. JGraphT supports a rich gallery of graphs and is designed to be powerful, extensible, and easy to use.
    Leader badge
    Downloads: 22 This Week
    Last Update:
    See Project
  • 4
    ECLiPSe CLP

    ECLiPSe CLP

    ECLiPSe Constraint Logic Programming System

    The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.
    Leader badge
    Downloads: 4 This Week
    Last Update:
    See Project
  • Stop vibe-debugging. Icon
    Stop vibe-debugging.

    Plug Claude into your app's actual errors.

    AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
    Free 30 days.
  • 5
    ConceptBase.cc

    ConceptBase.cc

    A Database System for Metamodeling and Method Engineering

    ConceptBase.cc is a multi-user deductive and object-oriented database system for metamodeling and method engineering. Includes a graphical client that builds upon the logic-based features of the ConceptBase.cc server. The data model is O-Telos. ConceptBase.cc can represent information at the data level (example data, traces of process executions etc.), the class level (schemas, process definitions etc.), the metaclass level (constructs of modeling languages), the meta-metaclass level...
    Leader badge
    Downloads: 16 This Week
    Last Update:
    See Project
  • 6
    Yaoqiang BPMN Editor

    Yaoqiang BPMN Editor

    an Open Source BPMN 2.0 / DMN 1.1 Modeler

    Yaoqiang BPMN Editor is a graphical editor for business process diagrams, compliant with OMG specifications (BPMN 2.0 / DMN 1.1).
    Downloads: 27 This Week
    Last Update:
    See Project
  • 7
    crystal-facet-uml

    crystal-facet-uml

    Create consistent Uml diagrams

    As software architect, you create a set of diagrams describing use-cases, requirements, structural views, behavioral and deployment views. crystal_facet_uml keeps element names and element hierarchies consistent. It exports diagrams in svg, pdf, ps and png formats to be used in text processing systems like docbook, html, latex. This tool runs on your local PC and is based on glib, gdk, gtk, cairo, pango, sqlite.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 8
    Groove
    NOTE: The GROOVE codebase has moved to https://github.com/nl-utwente-groove
    Downloads: 2 This Week
    Last Update:
    See Project
  • 9
    Downloads: 1 This Week
    Last Update:
    See Project
  • 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
  • 10
    TRAK UML Profile

    TRAK UML Profile

    Implementation of TRAK enterprise architecture framework as UML profil

    UML (TRAK) and SysML (TRAK_SYSML) profiles for the TRAK open source architecture framework that provides the objects and relationships needed for implementation of TRAK in a UML enterprise architecture modelling tool. TRAK is a general systems enterprise architecture framework based on MODAF.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    TRAK Viewpoints

    TRAK Viewpoints

    Specifications for TRAK architecture views

    The architecture viewpoints (specifications for architecture views iaw ISO 42010) for TRAK. TRAK is a general systems-thinkers'/system engineering enterprise architecture framework. It is simple, user-friendly, pragmatic and not limited to IT. 100% triple-centric and semantically-sound. Defines a total of 24 viewpoints. The ones needed are selected by taking the task sponsor's concerns and matching them to the typical concerns that each TRAK viewpoint addresses. The triples that address...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 12
    AuroreNR
    Software developed for the analysis of Neutron Reflectivity data.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    odaba

    odaba

    ODABA is an terminology-oriented database management system and develo

    ODABA is an terminology-oriented database management system (TODBMS) on a high conceptual level. It provides a number of enhanced features based on natural language analysis. Terminology orientation allows designing user oriented data models. Enhanced event model and Active Data Link technology support rapid development of GUI applications. Several development, documentation, test and analyzing tools are provided in order to support developers and administrators. .NET interface and a...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 14
    Linguistic Tree Constructor

    Linguistic Tree Constructor

    Syntax tree editor for rapid annotation of existing text

    Linguistic Tree Constructor (LTC) is a tool for drawing lingusitic syntax trees of already-existing text. It is a syntax editor, not a text editor, so the text has to exist already. It is best suited for large-scale, rapid creation of hand-annotated treebanks. The user can define their own node categories, and can label each node with labels, also definable by the user. LTC supports "generic", X-Bar and RRG trees. Supports interlinear texts in SIL SFM format.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 15
    UML and SysML with TRAK

    UML and SysML with TRAK

    Annotate/link UML and SysML diagrams with TRAK AF elements

    Provides UML (SysML) profiles and a MDG for Sparx Systems EA to allow you to add TRAK elements to standard UML and SysML diagrams and link to TRAK architecture descriptions. Links TRAK Resource to UseCase as subject or collaborator and to States exhibited.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Java 2D & 3D visual entity relationship design & modeling (ERD,SQL) for Oracle,MSSQL,Postgres,MySQL,...,Database change&dictionary management, Swing Data Binding, Apache FOP Renderer for dot matrix printers,Sparx Enterprise Architect Reports + more
    Downloads: 3 This Week
    Last Update:
    See Project
  • 17

    Optimizer_sovkov

    Constructing and optimizing general mathematical and physical models

    We present the package Optimizer, aimed at constructing and optimizing general mathematical models of phenomena of versatile nature. It is written in the Matlab algorithmic language and is executed in the Matlab environment with partial functionality in Octave. The convenient visual interface and the detailed manuals are provided. The main benefit of the package is its capability to construct models of any level of complexity in a block-by-block manner. Elementary model blocks can be...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Dependency Finder
    Extracts dependencies and OO metrics from Java class files produced by most Java compilers. Computes API differences between versions. No source needed. Includes both Swing and command-line interfaces, with XSL stylesheets for formatting output.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    A multi-notational modeling toolkit that supports the NFR framework, i* Framework, KAOS, Problem Frames, BPMN and UML notations. For more information, please visit the project's Wiki page at https://sourceforge.net/p/re-tools/wiki/Home/.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Sparx' EA - MDG for TRAK

    Sparx' EA - MDG for TRAK

    MDG for Sparx' Enterprise Architect to Create TRAK arch. descriptions

    Custom add-in (MDG technology) for Sparx Systems Enterprise Architect UML modelling tool (https://sparxsystems.com/products/ea/index.html) to create architecture descriptions using TRAK https://sf.net/projects/trak Provides: - the set of TRAK views that can be represented using UML and SysML . Each view display a custom toolbox palette with the objects and relationships that are needed for that TRAK view - relationships can be made directly from the objects on a view using the...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21

    oracle-architect-tools

    oracle pl/sql based tools for design development and maintenance

    A suite of open source utilities written in Oracle PL/SQL for schema instrumentation, auditing, schema administration scripting, ddl mapping and migration code generation, dml package generation, and xml service package generation based on metadata tables
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    FOML
    FOML is an expressive logic rule language that supports object modeling, analysis, and inference. It naturally supports model-level activities, such as constraints (extending UML diagrams), dynamic compositional modeling, analysis and reasoning about models, model testing, design pattern modeling, specification of Domain Specific Modeling Languages, and meta-modeling. FOML can reason about: 1. The model meta-data (meta-model level reasoning, or syntax reasoning) 2. Data level: reason...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    Qt-Generator for YAKINDU SCT
    This project provides a generator for conneting the YAKINDU Statecharttools with a Qt application. Since the concept of incoming and outgoing events is similar to the Qt signal and slot concept it is logical to link both together. Note that the generated code is an Addon onto the already generated C++-Code from SCT. So you need two sgen-files. One to generate the C++ statemachine and one to generate the link layer between the statemachine and your Qt application.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Unified Code Generation

    Unified Code Generation

    Open-source code generator for Simulink/Stateflow

    This project provides an open-source framework for the generation of high quality source code which is suitable for safety-critical applications and certification (e.g DO-178B). Currently a Simulink and Stateflow front-end and a C-language back-end are included. Some of the strengths of UCGN: - Clearly readable source-code - Separation of functionality and parameters ("tunable parameters") - Robust data storage (compile-time static structures in favor of pointer run-time constructs) -...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 25
    mimosa
    Mimosa is a modeling and simulation platform, covering the process from building conceptual models to running the simulations. The specification uses ontologies and an extensible set of formalisms for the dynamics. The simulation kernel is based on DEVS.
    Downloads: 2 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • 5
  • Next
Auth0 Logo