288 projects for "user" with 2 filters applied:

  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
    Try It 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
    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: 417 This Week
    Last Update:
    See Project
  • 2
    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: 47 This Week
    Last Update:
    See Project
  • 3
    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: 26 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: 10 This Week
    Last Update:
    See Project
  • $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
  • 5
    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 powerful object-orjented script language (OSI) improve development efficiency.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 6
    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
  • 7
    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
  • 8
    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: 0 This Week
    Last Update:
    See Project
  • 9

    DDD sample application

    Domain-Driven Design sample application

    The previous home of the Domain-Driven Design sample application implementation.
    Downloads: 0 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
    Automatic Drawing Generation

    Automatic Drawing Generation

    A canvas library for generating technical drawings

    The ADG library (Automatic Drawing Generation) is a set of functions focused on automating the drawing of mechanical parts. It is not a CAD system but a GObject-based library where a custom application can put common CAD entities such as paths, hatches and dimensions, to automatically create technical drawings. A demo application is provided in order to show the capabilities of the canvas. Although it is possible to interact with the library directly in C (that is what the adg-demo...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 11
    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
  • 12
    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: 5 This Week
    Last Update:
    See Project
  • 13
    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: 142 This Week
    Last Update:
    See Project
  • 14
    USE is a system for the specification and validation of information systems based on a subset of the Unified Modeling Language (UML) and the Object Constraint Language (OCL). Please report any encountered bugs using the ticket system. The USE documentation can be found on the project homepage linked below. Downloads for the most popular plugins can be found here: http://sourceforge.net/projects/useocl/files/Plugins/
    Leader badge
    Downloads: 90 This Week
    Last Update:
    See Project
  • 15
    The Object-Role Modeling (ORM) standard version 2, associated schemas and generation tools, and a reference implementation in the form of the Natural Object-Role Modeling Architect for Visual Studio (NORMA) product.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    A fast and reliable tool, written in Java 8, for generating professional UML sequence diagrams from text. Supports actors, con-/destructors, threads, broadcasts, notes, and fragments. Can serve as a Javadoc taglet. Exports PDF, (E)PS, SVG, PNG, ... The source code is hosted at http://github.com/sdedit/sdedit
    Downloads: 23 This Week
    Last Update:
    See Project
  • 17
    CASUP

    CASUP

    Cellular Automata library for SUPercomputers (CASUP)

    CASUP is a Cellular Automata (CA) library for HPC and supercomputers. It can be used in materials science (microstructure evolution, grain coarsening, fracture etc.), physics (Ising magnetisation) and for many other CA. If you use the library, please reference it as: A. Shterenlikht, L. Margetts, Three-dimensional cellular automata modelling of cleavage propagation across crystal boundaries in polycrystalline microstructures, Proc. Roy. Soc. A 471:20150039, DOI:...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    CamShaft
    Calculation of camshafts - allows to define a camshaft profile on the set trajectory which should provide the given mechanism. The trajectory can be set graphically, co-ordinates or function.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    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.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 20
    The goal of the project is to create specifications and provide reference parser in Java and C# for Extensible Term Language.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    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
  • 22

    jFQL

    Java implementation of FQL

    A Java implementation of FQL. The Form Query Language (FQL) is a language based on forms as SQL is a language based on tables.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    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
  • 24
    BoarderZone ASNalyzer
    A 100% pure Java Swing ASN.1 analysis utility for inspecting arbitrary BER-encoded data files. It allows inspection of data with unknown structure, can drill down to any nesting level and allows to interpret embedded OCTET STRING data recursively.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    JS/UML is a plugin for the Eclipse IDE that reverse-engineers JavaScript code to a UML model which can then be used to generate documentation and other artifacts.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • 5
  • Next
Auth0 Logo