Showing 44 open source projects for "universal windows platform"

View related business solutions
  • 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
  • $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

    The GR module for Julia

    Plotting for Julia based on GR

    This is the GR module for Julia. It places a Julia interface to GR, a universal framework for visualization applications. GR allows users to create high quality, engaging visualizations, everything from 2D graphs to complex 3D scenes. With this module simply type in Julia 'using gr', and you can instantly start calling functions in the GR framework API. GR is based on an implementation of a Graphical Kernel System (GKS) and OpenGL. As a self-contained system, integration into existing...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    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: 1,679 This Week
    Last Update:
    See Project
  • 3
    Violet UML Editor
    Violet is a UML editor with these benefits: Very easy to learn and use. Draws nice-looking diagrams. Completely free. Cross-platform. Violet is intended for developers, students, teachers, and authors who need to produce simple UML diagrams quickly. Want to contribute ? Source code is hosted on github : https://github.com/violetumleditor/violetumleditor
    Leader badge
    Downloads: 348 This Week
    Last Update:
    See Project
  • 4
    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: 1 This Week
    Last Update:
    See Project
  • Auth0 B2B Essentials: SSO, MFA, and RBAC Built In Icon
    Auth0 B2B Essentials: SSO, MFA, and RBAC Built In

    Unlimited organizations, 3 enterprise SSO connections, role-based access control, and pro MFA included. Dev and prod tenants out of the box.

    Auth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
    Sign Up 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: 0 This Week
    Last Update:
    See Project
  • 6
    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: 28 This Week
    Last Update:
    See Project
  • 7
    OverCASE

    OverCASE

    A cross-platform integrated CASE system

    An integrated CASE system that: • Supports multiple views and stages of project development – from keeping track of reference documentation to analysis/design modelling, to project implementation, roll-out and tracking the project-related issues. • Supports distributed development of projects by multiple participants, while proactively enforcing access control rules and auditing changes. • Is available on all platforms where development takes place (Windows, Unix/Linux, MacOS,...
    Downloads: 6 This Week
    Last Update:
    See Project
  • 8
    Whole Platform
    The Whole Platform is a technology for engineering the production of software. We provide an Eclipse based Language Workbench for developing, manipulating and transforming languages using a model driven approach.
    Leader badge
    Downloads: 263 This Week
    Last Update:
    See Project
  • 9
    EiffelStudio
    EiffelStudio is an Integrated Development Environment (IDE) that provides comprehensive facilities to programmers. It offers a comprehensive suite of tools that enable programmers to produce correct, reliable, and maintainable software while keeping control of the development process. If you want to create fast, robust, scalable applications, then EiffelStudio™ will offer you a cost-effective solution. Imagine being able to model your system as you think – capturing your requirements and...
    Downloads: 12 This Week
    Last Update:
    See Project
  • Train ML Models With SQL You Already Know Icon
    Train ML Models With SQL You Already Know

    BigQuery automates data prep, analysis, and predictions with built-in AI assistance.

    Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
    Try Free
  • 10
    NetBeans Modules Dependencies

    NetBeans Modules Dependencies

    Display NetBeans Module Dependencies

    Display in a UML-like diagram the dependencies of applications developed in NetBeans. Originally meant only to display module dependencies of NetBeans Rich Client Platform applications, thanks to the platform itself, it can display dependencies of "plain" and Maven-based Java projects. To display the dependencies, a new action is made available in the 'Source' menu and in the toolbar. The generated graphs can be saved as images or exported in PlantUML or Gephi formats.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    pued

    pued

    PUed - PlantUML Editor

    PUed is a PlantUML script editor able to generate UML diagram images by means of the PlantUML capabilities. In order to exploit all PlantUML features the Graphviz platform shall be installed.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    JAS-mine

    JAS-mine

    Toolkit for agent-based & dynamic microsimulation modelling

    JAS-mine is a Java platform that aims at providing a unique simulation tool for discrete-event simulations, including agent-based and microsimulation models. With the aim to develop large-scale, data-driven models, the main architectural choice of JAS-mine is to use whenever possible standard, open-source tools already available in the software development community. It has built-in utilities for communicating with an underlying relational database. In addition, the platform provides...
    Downloads: 7 This Week
    Last Update:
    See Project
  • 13
    DRAKON Editor

    DRAKON Editor

    A free cross-platform editor for the DRAKON visual language.

    DRAKON is a diagram language developed within the Russian space program. Its primary objective is presenting complex software systems in a way which is easy to understand by humans. DRAKON's motto: took a glance - understood at once. DRAKON Editor helps software architects, quality specialists and developers. Architects and quality assurers can express a high-level view of how their product works. DRAKON serves them to explain the dynamics of a software system. Software engineers can use...
    Downloads: 48 This Week
    Last Update:
    See Project
  • 14
    abumpack

    abumpack

    Fortran library with the Abaqus user material subroutines UMAT/VUMAT

    This library contains several of user material subroutines for implicit quasi-static (UMAT) and explicit dynamic (VUMAT) versions of the Abaqus solver. The project web site: http://abumpack.sf.net. The Abaqus is a proprietary finite element (FE) code ( http://www.3ds.com/products-services/simulia/products/abaqus/). Users can write subroutines for use with the Abaqus. Linear elastic, isotropic hardening plasticity, Gurson-Tvergaard-Needleman (GTN), Rousselier constitutive models are...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 15
    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: 1 This Week
    Last Update:
    See Project
  • 16
    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
  • 17

    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
  • 18
    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
  • 19
    BianLian Framework plan to establish a cross-platform, cross-language, JSF .NET like solution. To make all the GUI (both JSF .net and so on) INDEPENDENT to implementation. PS, BianLian is the famous Chinese art with about 1000 years history.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    StarUML NS

    StarUML NS

    SINVAS(StarUML NS) is re-developed by StarUML developers in Qt.

    As of 2014-07-18, this project may now be found at https://sourceforge.net/projects/sinvas/. SINVAS(StarUML NS) is re-developed by StarUML developers in Qt. As a newly launched project, StarUML NS has been mainly driven by developers who had created the StarUML. By strengthening the advantage of existing StarUML version and making up for the shortcoming of, the project’s goal wanted to be a modeling platform that could illustrate the modeling from possessed information, beyond UML...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Essential ORM Modeler

    Essential ORM Modeler

    Design your ORM application in a platform independent way.

    Essential ORM Modeler allows you to model your application using an extension of UML class models, generating code for distinct ORM frameworks (JPA, SQLAlchemy or Ruby´s ActiveRecord). The notation, based on persistence patterns, is platform independent. This tool is a plugin of eclipse.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Unimozer
    Unimozer intends to be a universal modelizer for Java™. It allows the user to draw UML diagrams and generates the relative Java™ code automatically and vice-versa.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23

    Trike

    Computer-aided threat modeling

    Trike is a platform-independent tool for systematic, computer-assisted threat modeling, from requirements through deployment. We are developing Trike v2 on GitHub (https://github.com/octotrike/trike). Our mailing lists are still here on SourceForge, and we're leaving the old code repository & releases up for archival purposes. Plus you probably want to use something while you're waiting for v2.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 24

    XJML

    XJML 1.0 is a platform for Verification and Validation of Java classes

    XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    redview
    redView Riena EMF Dynamic Views. redView provides a WYSIWYG Editor for SWT Views based on EMF Models. redView can be used as Prototyping System, RCP Application and more. redView can render the Views dynamically.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • Next
MongoDB Logo MongoDB