• 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
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • 1
    Pseudo-Random Number Generation library for GPGPU
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    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 Quicklink feature which presents the allowed relationship(s) by TRAK between the pair of objects selected - a custom set of searches. When run these will list objects of a particular type (e.g. all Systems, all Enterprise Goals), potential quality problems (e.g. diagrams and objects without any description, objects not linked to any other), things of interest (e.g. open, closed concerns) and view-like results e.g. all structural relationships in the solution - model views to list object
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3

    SynthePG

    Live Music Compositor learning base on TPG

    This android app is producing music and partition sheets in real time. Furthermore, the AI module can be activated and be trained to learn you prefered style and play it. You can also team play your music with the interconnect mode. Finally, move your phone like a 'chef d'orchestre' and see how it changes the music...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Interface between SystemBuil and High Level Architecture.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Simple, Secure Domain Registration Icon
    Simple, Secure Domain Registration

    Get your domain at wholesale price. Cloudflare offers simple, secure registration with no markups, plus free DNS, CDN, and SSL integration.

    Register or renew your domain and pay only what we pay. No markups, hidden fees, or surprise add-ons. Choose from over 400 TLDs (.com, .ai, .dev). Every domain is integrated with Cloudflare's industry-leading DNS, CDN, and free SSL to make your site faster and more secure. Simple, secure, at-cost domain registration.
    Sign up for free
  • 5
    This is a collection of tools and a code library to assist engineers who are developing SystemVerilog based verification environments. Components include utility libraries, scoreboard and shutdown manager implementation, register tool, etc.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    A canvas (and other dev utilities) for dataflow software. Contains also a minimal implementation of a dataflow environment in Tcl.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Terminology for Description of Dynamics
    The TErminology for the Description of DYnamics (TEDDY) project aims to provide an ontology for dynamical behaviours, observable dynamical phenomena, and control elements of bio-models and biological systems in Systems Biology and Synthetic Biology.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8

    TextualModelGenerator

    Generator for textual models by applying different techniques

    This is a project created and supported by: Angel Castellanos Juan Cigarrán Recuero Ana García Serrano This projects allows the modelling of textual contents by applying different techniques: TF-IDF KLD Mutual Information Chi^2 With this application the users can be able to extract the most representative terminology of a textual collection. The application is Java-based, allowing their execution in several platforms and operative systems (Windows, Linux, MacOS).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    The Perl Formal Language Toolkit (FLaT), is a set of compatible Perl modules used for investigating regular expressions and finite automata. It is also a goal to create a tool kit, which may be used to create apps with FAs as underlying data structures..
    Downloads: 0 This Week
    Last Update:
    See Project
  • Get the most trusted enterprise browser Icon
    Get the most trusted enterprise browser

    Advanced built-in security helps IT prevent breaches before they happen

    Defend against security incidents with Chrome Enterprise. Create customizable controls, manage extensions and set proactive alerts to keep your data and employees protected without slowing down productivity.
    Download Chrome
  • 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
    This project is a software and a framework implementing a formal specification generation approach. The tool supports the theory on formal modeling, automated composition and formal verification of system specifications.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    The UEMLFacilitator project aims to develop and evaluate a prototype GUI for defining and managing the Unified Enterprise Modelling Language version 2 (UEML2).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    This project is a public domain application that is written in Matlab that models the ISA100.11a protocol stack for industrial wireless devices.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Universal Unified Model
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    This project aims to model parasites in order to assist in the analysis and prediction of their behavior.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    X3D-UML is a 3D extension to the Unified Modelling Language (UML). It is based on OpenSceneGraph and allows 3D modelling of software.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Xcarecrows4MDA provides a complete toolset to build models and check their behavior for standalone applications or whole systems with a hierarchical, state driven approach. A test component checks the safety of the model under various situations.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    The Xholon project explores: software as systems of linked nodes, organized hierarchically. The Xholon toolkit supports this back-to-basics approach, and demonstrates practical benefits through examples from numerous domains.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    aXBench Examples

    aXBench Examples

    Examples for the aXBench.

    The aXBench (AUTOSAR extensible workbench) is a free eclipse plugin for modeling variant system architectures. This project collects modeling examples for the aXBench without having ti deal with the source code of the aXBench.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    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
  • 21
    cy.prus is a cross platform simulation environment for medical cybernetics and systems biology. Its purpose is to provide both a facility for simulating life and a GUI for easily constructing biological information processing structures based on XML.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    devsimpy

    devsimpy

    Python-based GUI for discrete-event system modeling and simulation

    DEVSimPy is an advanced wxPython GUI for the modeling and simulation of systems based on the DEVS (Discrete EVent system Specification) formalism. Features include powerful built-in editor, advanced modeling approach, powerful discrete event simulation algorithm, import/export DEVS components library and more.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    emios project : Environmental Memory Interoperable Open Service.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    E.N.M.L. means Environmental Noise Model Language. The target of the project is the definition of a XML specification model mainly devoted to electronic acoustic data exchange. ENML aims to format ANY kind of noise measurement.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    This is home of the Generic Object Role Modeling Meta-Model (gORMmm). This ORM metamodel is designed as a software independent ORM metamodel for software developers/researchers of first-order logic, conceptual modeling, and artificial intelligence.
    Downloads: 0 This Week
    Last Update:
    See Project