Search Results for "linux" - Page 2
Sort By:
Showing 206 open source projects for "linux"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB 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.
-
Full-stack observability with actually useful AI | Grafana CloudBuilt 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.
-
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... -
2
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. -
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. -
4
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.
-
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
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. -
6
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. *... -
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 -
8
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. -
9
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. -
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
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... -
11
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.
-
12
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.
-
13
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... -
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 &... -
15
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! -
16
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
-
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,... -
18
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" -
19
CodePax
OPTIMIZING THE WAY YOU DEVELOP
The project has moved to Github: https://github.com/ZitecCOM/CodePax -
20
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... -
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... -
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.
-
23
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... -
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.
-
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
