408 programs for "x86_64-linux-gnu" with 2 filters applied:

  • Codesoft Barcode Label Software Icon
    Codesoft Barcode Label Software

    RFID and barcode label software to set your business up for success

    CODESOFT is an enterprise-level RFID and barcode label design application offering unmatched flexibility, power, and support. Available in print-only, single-user, and network configurations, CODESOFT is designed to meet all of your barcode labeling needs. Whether your goal is streamlining label printing, printing labels using a form, connecting a scale to your label template, or integrating your business database with your label templates, CODESOFT provides a solution for your organization’s most advanced labeling needs. Connect to SQL or Oracle databases for business system integrations and greater efficiency. CODESOFT includes over 100 barcode symbologies including GS1, supports all common image formats, and enables rich text editing. Native printer drivers are included for over 4,000 thermal, thermal transfer, and inkjet label printers to ensure the best label printing quality.
  • eLearning Solutions For Your Workplace Icon
    eLearning Solutions For Your Workplace

    eloomi is an eLearning solution for your workplace to train, retain and engage employees.

    eloomi combines Learning Management (LMS), Onboarding, Authoring, and continuous Performance Management tools in a cloud-based solution. It allows companies to optimize skill training, onboarding and employee development with strong user experience to enhance productivity and employee satisfaction. As a white label solution, the platform can be customized to mirror a company's branding and logo.
  • 1
    Most known is SPE, a python IDE with auto indentation&completion,call tips,syntax coloring&highlighting,uml viewer,class explorer,source index,todo list,pycrust shell,file browsers,drag&drop,Blender support.Spe ships with wxGlade,PyChecker and Kiki.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Konzept is a small class diagram editor. Major design goal was usability. The project was inspired by the static diagram editor of the Toolkit of Conceptual Modelling. Konzept is a pure Qt application written in Python.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    A framework for creating automatically-assembling trees of objects. Intended to parallel another interface as strictly a data I/O structure (e.g. file load/save in parallel with a GUI displaying it.) Adaptable to any hierachical data format.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4

    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
  • High-performance Open Source API Gateway Icon
    High-performance Open Source API Gateway

    KrakenD is a stateless, distributed, high-performance API Gateway that helps you effortlessly adopt microservices

    KrakenD is a high-performance API Gateway optimized for resource efficiency, capable of managing 70,000 requests per second on a single instance. The stateless architecture allows for straightforward, linear scalability, eliminating the need for complex coordination or database maintenance.
  • 5
    SCOPE

    SCOPE

    SCOPE: Space-Based Coordination Process Engineering

    SCOPE is a high-level coordination language which conforms to the BPMN 2.0 specification and is intended for architecture-centric model-driven software development. SCOPE differentiates between the space-based choreography of multiple concurrent process components and the orchestration of fine-grained activities within a single process component. The SCOPE workbench is based on the Xtext language framework.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Coupling the notion that during the search for the minimum of a function we must pass through its solution with a PSO solution generator engine, is the approach for solving, in time domain, a non-linear algebric-differential system of equations.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    This project develops a graphical tool to support i* modelling and analysis of the stakeholder requirements. The main development site is at https://se.cs.toronto.edu/trac/ome
    Downloads: 1 This Week
    Last Update:
    See Project
  • 8
    This project has been moved to the Apache Incubator under the new name Isis. For complete details and latest downloads see http://incubator.apache.org/isis/.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    The “RDB2RDF Mapper” is a Java based software desktop application which allows a user to create a mapping file between a relational database and an RDFS/OWL ontology via a graphical user interface. This project is ANDS-funded.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Automated RMM Tools | RMM Software Icon
    Automated RMM Tools | RMM Software

    Proactively monitor, manage, and support client networks with ConnectWise Automate

    Out-of-the-box scripts. Around-the-clock monitoring. Unmatched automation capabilities. Start doing more with less and exceed service delivery expectations.
  • 10
    AMELiA is a collection of libraries developed at the Arts, Media and Engineering Program at Arizona State University. It includes the AME Patterns library, a generic C++ library for modeling, recognition and synthesis of sequential patterns.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Feature Modeling Plug-in is a tool for modeling the features (requirements) of a product line and configuring products. Product configuration is supported by automatic choice propagation and conflict resolution. Visit Home Page for papers, demo, HOW-
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Graphical Microcontroller Programming (GMP) is an expert-in-a-box solution which provides an intuitive user interface giving non-professionals the chance to easily create microcontroller programs by graphical means. Vienna University of Technology.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Helena is an explicit state model checker for high-level Petri nets.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    PerMoTo is a Performance Modelling Tool suite for decision support in the capacity and performance management of distributed transaction processing systems based on Queueing Theory and Discrete Event Simulation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    The application is intended for extract performance risks from UML models stored in an Enterprise Architect database and displaying them on a user friendly interface.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    SEvents is a System of Event programming with random factor designed to accept a script file and execute it with using extra modules. One module - one object, which relate on changing of some variables.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    PROCOL space-based framework for multi-core. Based on LighTS (http://lights.sourceforge.net/). More to come soon ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18

    smPla

    Please see https://sourceforge.net/projects/smpla/?source=directory

    This project has moved to:https://sourceforge.net/projects/smpla/
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Gaphor is a UML modeling environment written in Python. Gaphor is small and very extensible. The repository is located at http://github.com/gaphor/gaphor.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    MODembed
    Model-based development environment for embedded projects. Features a clean and advanced language designed for embedded programming.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    PHPCallGraph generates static call graphs for PHP source code using the CodeAnalyzer of the InstantSVC project and the DOT tool. The graphs can be leveraged to gain a better understanding of large software systems or even to debunk design flaws in them.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 22
    SquidModel Projects - the research of the easy ways to assembly a SQUID proxy daemon in the POSIX systems. In the project uses a standart tools: Apache, MySQL, PHP, SAMBA.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 23
    The embedded Finite State Machine (FSM) Facility that can be used to model and control a reactive or stateful system. The system can be represented by any number of states. State transitions are driven by a number of events. eFSM is written in C.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    is a loadable application for the jrc-framework, that helps managing db schema. Support for scanning of db-schema, export/import to/from XML, creation and versionizing of db-schema. Column-Definitions are domainbased and the GUI supports drag&drop.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    cpp2dot parses c++ header files and generates a dot (graphviz) UML graph. It is based on the moc tool from the Qt SDK. Feel free to ask me anything about it (mail or Tracker, but preffer to post on my blog : http://www.libertesalternatives.org)
    Downloads: 0 This Week
    Last Update:
    See Project