Showing 94 open source projects for "linux-tools"

View related business solutions
  • 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
  • $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
  • 1
    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 plotting and exporting to various file formats - Report generation - Code generation, co-simulation and model exchange The following class of problems can be solved by DAE Tools: - Initial value problems of implicit form - Index-1 DAE systems - With lumped or distributed parameters - Steady-state or dynamic - Continuous with some elements of event-driven systems
    Leader badge
    Downloads: 10 This Week
    Last Update:
    See Project
  • 2
    odaba

    odaba

    ODABA is an terminology-oriented database management system and develo

    ...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 powerful object-orjented script language (OSI) improve development efficiency.
    Downloads: 6 This Week
    Last Update:
    See Project
  • 3
    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: 10 This Week
    Last Update:
    See Project
  • 4
    DMF: Distributed Multiplatform Framework

    DMF: Distributed Multiplatform Framework

    Development framework including code generator and UML ex/import

    A component based programming framework. This project is aimed to support various target frameworks. A wxWidgets based GUI application is the major sample which also provides rapid database GUI design with UML import and export (db reverse engineering).
    Downloads: 2 This Week
    Last Update:
    See Project
  • Stop Storing Third-Party Tokens in Your Database Icon
    Stop Storing Third-Party Tokens in Your Database

    Auth0 Token Vault handles secure token storage, exchange, and refresh for external providers so you don't have to build it yourself.

    Rolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
    Try Auth0 for Free
  • 5

    Xtu

    Xtu is a framework for implementing Platform specific xUML models

    Xtu is a support framework for implementing Platform specific models (PSM) using the xUML methodology. xUML is a formalized methodology for Model based systems engineering (MBSE) targeted at SW and HW development. Xtu implements the xUML elements Domains, Bridges, Signals, Classes, States, Events & Finite state machines. Xtu targets C++11 & STL compatible PSMs.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 6
    EcoLab
    EcoLab is a C++ based Agent Based Modelling system, with emphasis on high performance computing for scaling to large simulations.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 7

    DesignerUml

    It's a clone of 'https://sourceforge.net/projects/codedesigner/'

    CodeDesigner is free and open-source RAD tool suitable for easy creation of various diagrams describing applications' structure and logic (class diagrams, state charts, ...) and for generation of production-ready source code from them. The main contribution was to translate the project into languages other than English.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    ConceptBase.cc

    ConceptBase.cc

    A Database System for Metamodeling and Method Engineering

    ...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 (constructs for defining modeling languages), and so forth. ConceptBase.cc is developed by the ConceptBase Team at University of Skövde (HIS). ConceptBase.cc supports Linux, Mac OS X and Windows. ConceptBase.cc is free software distributed under a FreeBSD-style license.
    Leader badge
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    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
  • Compliant and Reliable File Transfers Backed by Top Security Certifications Icon
    Compliant and Reliable File Transfers Backed by Top Security Certifications

    Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.

    Stop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
    Start Free Trial
  • 10
    TRANSIMS is an integrated system of travel forecasting tools for modeling regional transport systems. For more information, visit http://code.google.com/p/transims/
    Downloads: 2 This Week
    Last Update:
    See Project
  • 11

    Z Word Tools

    Write, check, index and diagram Z specifications in Microsoft Word.

    Tools to allow Z specifications to be written in Microsoft Word. Includes a unicode font for Z symbols. Provides: WYSIWYG editing fully integrated into Word; Typechecking using fuzz (for Spivey Z) or CZT (for ISO standard Z); Indexing and cross-referencing; Diagrams of specification structure; Conversion from Spivey to Standard Z- also available as a stand-alone program and Java class for non-windows users.
    Downloads: 19 This Week
    Last Update:
    See Project
  • 12
    Quan is designed to model physical quantities in C++ programs. Advantages include automated dimensional analysis checking, automatic unit conversions, self documentation of code.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Cppfunct implements run-time C++ function objects, with creation, invocation, manipulation, and combination. The function object concept abstracts ways to parameterise other classes beyond simple static values.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    The object-oriented modeling tool enables you to design and store diagrams (included in the ICONIX design process) in text and graphics, analyze the contents of diagrams, and create project reports. Diagrams are defined using a simple and intuitive language PlantUML. For the full operation of the application, graphviz is required. Link: https://graphviz.org/ Report an error or suggest an improvement:...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    SINVAS UML

    SINVAS UML

    UML Modeling Tool for MDD-based Analysis/Design

    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    C++ Standard Airline IT Object Library
    That project aims at providing a clean API, and the corresponding C++ implementation, for the basis of Airline IT Business Object Model (BOM), ie, to be used by several other Open Source projects, such as RMOL, Air-Sched, Travel-CCM, OpenTREP, etc.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    ...Register here: https://docs.google.com/forms/d/12tAH4f8CJ-3F-lK44Q9uQHFio_mGoK0oY829q5lD7i4/viewform GillesPy is a python interface for developing models and simulating them with StochKit. Please see: https://github.com/GillesPy/gillespy/ StochKit currently supports Linux, Windows, and OS X.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    PlantUML QEditor

    PlantUML QEditor

    A PlantUML editor written in Qt4

    A simple editor for PlantUML. Requires PlantUML (and its dependencies, java and graphviz/dot). Some features: * update the diagram while editing * code assistant to insert ready-made code snipets * written in Qt4, so it should run on all platforms supported by Qt4 and PlantUML * option to cache the PlantUML output to speed redo, undo and loading from disk * can be used as a PlantUML viewer (see the wiki for more info)
    Downloads: 5 This Week
    Last Update:
    See Project
  • 20
    ContRap is a free symbolic C/C++ rapid software prototyping toolkit.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    C++ template library for modular construction of factored probabilistic time-series models, model trainers, and recognizers.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    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
  • 23
    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
  • 24

    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
  • 25
    YAKINDU Statechart Tools / itemis CREATE
    ...YAKINDU SCT HAS MOVED !! DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • Next
MongoDB Logo MongoDB