Showing 206 open source projects for "linux"

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

    autoCode4

    Synthesizing embedded control software from formal specifications

    autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 2
    G4LTL-ST

    G4LTL-ST

    Generating PLC programs from formal specifications

    G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications. See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 3

    CLA

    Command line arguments parser for Java

    CLA is a small Java libary to parse command line arguments into customizable parameters. Parameters can be executed by means a CLA executor object.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Java Call Trace to UML Sequence Diagram
    This tool helps you to reverse engineer UML Sequence Diagram for your java program at runtime. It works well with both complex java programs (that have multiple threads) and J2EE applications deployed on Application Servers.
    Downloads: 0 This Week
    Last Update:
    See Project
  • $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
  • 5

    Klonwerk

    advanced variability management tool

    Klonwerk is an advanced and easy-to-use tool for reactive variability management and large-scale software reuse. It allows you to automatically clone and modify directories of textural or binary files (e.g. code, architecture, documentation), based on conceptual feature/decision models.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    GenApp

    GenApp

    Generador d'Aplicacions

    == MOGUT A GITHUB: https://github.com/GovernIB/genapp == A partir d'una bbdd en postgresql o oracle, genera totes les capes d'una aplicació web: model, jpa, ejb, logica(ejb), web i webservices. Caracteristiques: * Incorpora un llenguatge d'alt nivell generat per realitzar consultes a bbdd de forma que l'aplicació es pot construir sense haver d'escriure ni una linia de codi SQL. D'aqui que qualsevol canvi produeixi errors de compilació i no d'execució com passava amb el codi SQL. *...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7

    Counters

    Some easy to use counters which can be used in more complexes loops.

    In this project i include some easy to use counters which can be used in more complexes loops. Some of this counters are : - BinaryCounter (binary counter) - PermutCounter (permutation counter) Binary Counter allow a control of a succession of integer vectors : 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 ... in same way as bits in a byte. PermutCounter have next succession of arrays (in case of size 4) : 0 1 2 3 0 1 3 2 0 2 1 3 ... 3 2 1 0
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Genji Scrum-Tool

    Genji Scrum-Tool

    web based Scrum tool, customizable, feature rich and easy to use

    Genji is a web based Scrum tool and task management system. It offers powerful filtering capabilities, many customization features, reports, integration with Jenkins, SVN, Git, Maven, and more. Support for RACI project management matrix and the Getting Things Done method is built in.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    CQL

    CQL

    an all new query language and a sequel to SQL

    The project was developed for C/C++ programmers who are not familiar with SQL syntax.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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
  • 10

    PyLogAnalyser

    A Python multiplatform tool to filter, colorise and analyse logs

    PyLogAnalyzer is a tool that receives an input log in black and white, a configuration INI file, which contains the list of rules to process the input, and an output file where to save the results. These rules permit to detect an input line according to a regular expression (regex) or line number range, filter it, pass it, colorise in foreground and background, columnise the groups of the regex and enable or disable the rule. The final goal of this tool is to ameliorate reading long and...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    XEO Framework
    XEO (eXtensible Enterprise Objects) is a Java-based agile development framework to create enterprise web applications that builds upon Object Oriented concepts and Model Driven Development.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Next Framework
    Next is a Java Web framework, based on Spring and Hibernate, it aims the fast development and high productivity. It was born from the older brother Neo Framework. Features several utilities that makes web development easier.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Agilefant

    Agilefant

    The scalable open source tool for lean and agile project management

    Agilefant is a simple but powerful web based tool for lean and agile project management. It is the most versatile open source solution of its kind today, with a rapidly growing user base of more than 10k users around the world in thousands of organizations. Based on more than ten years of solid scientific research within real world organizations, Agilefant's unique model scales from personal todo-lists to large-scale multi-team development and long-term product and portfolio...
    Leader badge
    Downloads: 1 This Week
    Last Update:
    See Project
  • 14

    WSCreator

    Java library for automated Soap & Rest web Services Creation

    An awesome new way of adding SOAP and REST web services to any Spring IOC based Java project in minimum time. This library takes out all the pain part of implementing Soap & Rest Web Services specific code from developer's plate and does it in a very smart way. All you need to do is add dependency of this library to your project, add some annotations to your interfaces, add a servlet entry into your web.xml. & you are all set to go. Library uses Apache CXF to create SOAP based web services &...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    ReFit

    ReFit

    Eclipse Plug-in for Automatic Refactoring of Fit Tests.

    The ReFit Eclipse plugin performs automatic refactoring of the Fit test specs (http://fit.c2.com) and of the relevant code when a refactoring process is invoked. NOTE: The project is still in Beta, but we think stable enough, to be used. Just try. For more information about the project, installation and use instructions see https://sourceforge.net/apps/trac/fitrefactoring/ We are pleased about the many downloads. We are also pleased for your feedback/review - many thanks!
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    E-w0rm | PHP Shell
    E-w0rm : is a powerfull shell with handy features like : file manager , password change , database manager , bind shell , remote shell , remote upload , edit , chmod , delete , make , autoroot , php code execution , server command execution , process manager ... You can also change theme ! And " E-w0rm " brought to you by : Epic Hackers S.C Scan : https://goo.gl/718BkD
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17

    Cluster Orchestrator

    orchestrator / cluster deployment tool

    The Orchestrator server is responsible for distribution and launch of simple apply/rollback shell scripts in a particular order across multiple servers . If for any reason deployment is failing at a particular stage the process will stop and you can rollback any changes done until then. In case you want to deploy your code or just call your preferred DSC client to apply the configuration locally the Orchestrator can be a handy tool. The operation can be started manually or scheduled,...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    ScrumBoard

    ScrumBoard

    SCRUM task board

    A software version of a SCRUM task board. INSTALLATION INSTRUCTIONS You need to download and extract "scrum-board-libs-win.zip" archive first. Then copy the exe file to the extracted directory. Newest updates can be found in the "Blog"
    Leader badge
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    CodePax

    CodePax

    OPTIMIZING THE WAY YOU DEVELOP

    The project has moved to Github: https://github.com/ZitecCOM/CodePax
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    WesWorkshop

    WesWorkshop

    Create units and attacks for Wesnoth!

    This utility provides a GUI to create unit files for the game "Battle for Wesnoth". The user sets the unit properties from the GUI of the utility. Once all the properties have been set, it is possible to export them into a .cfg which will be read by the game. Further details can be found in the project wiki: http://sourceforge.net/p/wesworkshop/wiki/. Version 1.1* released. Please go to the wiki page to see the changes. Note you will not be able to load your works developed with the...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21

    Java Wizard Development Framework

    Reduced SWING coding. New UI components. Easy layout management.

    About: 1) Projects helps Java - SWING developers to develop UI forms very faster. 2) API contains reusable Components & Layouts that developers can directly use in their projects. 3) Just include project JAR file in your existing project then import and use all features (refer JavaWizardDevelopmentDocumentation) * Don't worry about Java's complex layouts, just pass your components as parameters to our "MyLayout" class and we'll do it for you. * New & pre-aligned UI components like...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    HMGScript is a JavaScript library. The goal of the project is to allow developers the creation of web applications using the same logic as desktop applications via simple objects. For data manipulation, it allows the use of MySql databases and dbf (xBase) files.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    Cyclone - Task Automation

    Cyclone - Task Automation

    Task Scheduler for Java, Groovy, Javascript, python & ruby

    Cyclone is java-based rich GUI web tool for automating tasks with ease. Cyclone is a project that was borne out of necessity. Agreed, there are many native tools that allow task to be scheduled or automated on most operating systems, however, Cyclone is more than just an automation tool. In many programming languages, there are batch module/libraries available to schedule jobs, but need quite a bit of enhancements to provide similar feature set as Cyclone. Cyclone comes with a number of...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Dao Studio is an integrated developing environment for the Dao programming language. It includes a source code editor and command line console with syntax highlighting, and supports interactive debugging mode.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25

    JavaEExt

    Desarrollo Rápido de Aplicaciones con Java EE y ExtJS

    JavaEExt consiste en un poderoso framework de desarrollo basado en la Plataforma Java EE con Interfáz Rica de Usuario utilizando la Tecnología JS y Ajax incorporadas dentro del ExtJS
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB