Search Results for "development" - Page 13
Sort By:
Showing 2977 open source projects for "development"
View related business solutions-
Find Hidden Risks in Windows Task SchedulerWindows Task Scheduler might be hiding critical failures. Download the free JAMS diagnostic tool to uncover problems before they impact production—get a color-coded risk report with clear remediation steps in minutes.
-
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
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
Saketa SharePoint CAML Query Builder
Providing simple, hassle-free, intuitive Queries
Coding is one of the important aspects which is a part of every organization regardless of the platform on which they are working. Being an important aspect at one side of another side coding is a difficult and time-consuming task. Developers struggle a lot in writing accurate codes as based on business requirements of multiple clients. We at Saketa have developed CAML Query Builder tool. It is a standalone tool. -
3
AnyParser
Problemless Grammar and Parser in Java
Grammar based parsing in Java 8 to a tree structure. Create with no overhead a grammar in java and parse it into a tree structure. Will probably work right away with your grammar. -
4
MicroGP
A multi-purpose extensible self-adaptive evolutionary algorithm
MicroGP (µGP, ugp) is a versatile optimizer able to outperform both human experts and conventional heuristics in finding the optimal solution of hard problems. It is an evolutionary algorithm since it mimics some principles of the Neo-Darwinian paradigm. ⚠️ A new version is available on https://github.com/squillero/microgp4 -
Atera all-in-one platform IT management software with AI agentsAtera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.
-
5
AutoGen is designed to generate text files containing repetitive text with varied substitutions. Its goal is to simplify the maintenance of programs that contain large amounts of repetitious text, especially when needed in parallel tables.
-
6
SmartSlog (Smart Space Ontology) is a software/application development kit (SDK or ADK) for programming Smart-M3 agents (Knowledge Processors, KPs) that consume/produce smart space content according with its high-level ontological representation. SmartSlog applies the code generation approach: given an OWL ontology description, the ontology programming library is produced. The latter provides API to access the smart space via a Smart-M3 Semantic Information Broker (SIB) and data structures and functions to represent and maintain locally in KP code all ontology classes, relations, properties, and individuals. ...
-
7
DesignerWt
A layout and widget editor for Wt (C++ web applications)
This program will allow you to create sophisticated screen layouts that can automatically adjust to browser size. Each widget within a layout is highly customisable, using property pages that adapt to the type of widget being edited. There is a preview mode and a zoom mode for detailed editing. In addition to the main design dialogs and popup menus can also be created. A design, when saved, will generate a C++ header class that contains all elements of the design. This class, when... -
8
BARF is a language-agnostic engine for generating finite-automaton-based scanners and pushdown-automaton-based parsers. Targets (in any arbitrary language) are completely data-driven via text files -- no additional compilation is necessary.
-
9
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. -
Grafana: The open and composable observability platformGrafana is the open source analytics & monitoring solution for every database.
-
10
Cress Tool Suite
Cress is a comprehensive toolset for graphical service/workflow design
...Cress diagrams are automatically translated into formal languages for rigorous analysis and verification, and are also automatically translated into implementation languages for deployment and validation. Cress aims to make service design as easy as possible without requiring specialist development knowledge. It simplifies service creation to drawing diagrams, clicking buttons and defining a few tool parameters. All key functions of Cress can be controlled from the Chive diagram editor. Cress is written using portable and widely used languages (Perl and Java). It can be extended by a developer for other kinds of services that can be characterised by activity flows. -
11
GeneratorEclipsePlugin
Eclipse Repository for Code Converters
This is the Eclipse Plugin Site for "Java Code Generators". The plugin provides a menu entry "Java Code Converters" in the Eclipse Package Explorer. This menu opens a sub menu. Each sub menu entry works in the same way: 1. A directory dialog is opened. 2. Choose the directory where the properties for the generation are located 3. Print "OK" and await the code generation results For each Java Code Generator different properties files with different property keys are... -
12
Xsemantics
a DSL for type systems, reduction rules, interpreters for Xtext langs
Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules) for languages implemented in Xtext. It then generates Java code that can be used in your language implemented in Xtext for scoping and validation (it can also generate a validator in Java). -
13
Stock Inventory Management
PHP Stock Inventory Management System - POS
A web-based application which will manage stock inventory so easily: Dashboard, Stock Management, Purchasing, Sales, Suppliers, Customers, Outstandings, and Payments. Nice look and feel interface. It supports to be displayed in mobile-device. This web application is actually generated by PHPMaker without touch any code in the generated script files. All the customization are done from inside of PHPMaker Project. Thus, all the changes are saved in the project side, so that you will be able... -
14
SQLG2 is preprocessor and library that combines ideas of JDBC, SQLJ and iBATIS to simplify writing DB access code for small and medium-sized applications, making it similar to PL/SQL development. It is intended for use under JDK 1.6 or later.
-
15
JTurboExplorer
Database explorer to MySQL, Oracle, Sybase & others. Source maker JSF.
It is a tool to help programmers to check your databases and generate code so easily. Lists the tables and views of databases, MySQL, Oracle and Sybase. Load Data from Excel 97-2003 files, exports the data from the table to Excel 97-2003 file. Generate Stored Procedures from table to insert, update, delete, query and paging. Generates code JSF2.0 (Action) and PrimeFaces (xhtml) from the table, code for Struts 1.3, etc. -
16
EasyMda
An Eclipse plugin that generates source-code, from a Java based model
easyMda is an Eclipse plugin that can generate source-code, from a model that is based on Java classes. The main goal of this project is to provide the: most flexible (anything imaginable, can be modelled and generated), easiest to develop and to use, and also a very fast: MDA/code-generator tool. The main difference with other Mda tools is that easyMda does not rely on Uml nor a Dsl, instead it uses Java classes as it's model. The advantage over Uml and Dsl is that the combined... -
17
ipc-quartztime
inter process communication library based on POSIX
ipc-quartztime is an inter process communication library based on shared memory, mutexes and signals. ipc-quartztime is intended for high-speed and high-throughput communication between processes. -
18
EventB2SQL
Generate Java and PHP database apps from abstract Event-B models.
EventB2SQL is a Rodin plugin for generating database applications from abstract Event-B models. EventB2SQL generates code for four types of applications: * Java with MySQL backend (JDBC) * Java with SQLite backend (JDBC) * Java for Android with native SQLite backend * PHP with MySQL backend (PDO) EventB2SQL can translate abstract Event-B models that use features such as: * enumerated sets * variables of set and relation types * simultaneous assignment * set... -
19
ASDRAD is a source code generator which reads a configuration file and generates *.c, *.h, makefiles etc. It's written in Python and uses templates. Output files are for AmigaOS and derivates like AROS and MorphOS.
-
20
Free Barcode Generator VB.NET
Easily create and print codebar labels to any application
This project uses as engine the powerful library ZEN BARCODE. The reason why this project exist, it's because there was not a way to add a description and codebar number to any codebar label using only Zen Barcode, so I added a few tweaks to make a printable (and useful) label including all mentioned stuff. Hopefully can be of help to anybody in help of print codebar labels, but ideally some people will help to expand its functionalities to make this tool a kind of "de facto" standard to... -
21
GS3
GS3 project
RPG to Java transformation. Create maintainable Java -
22
C3PO is a software synthesis tool that provides a solution for building maintainable, reliable and robust software infrastructures and/or compiler frontends from a set of attributed grammar rules in EBNF notation.
-
23
JQVT
A QVT engine targeting Java
MIGRATED TO GITHUB: https://github.com/patins1/raas4emf/ -
24
-
25
Mock.js
A simulation data generator
Mock.js is a simulation data generator to help the front-end to develop and prototype separate from the back-end progress and reduce some monotony particularly while writing automated tests. Generate random data and intercept Ajax requests. Let the front-end siege division develop independently of the back-end. Through random data, various scenarios are simulated. Without modifying the existing code, you can intercept Ajax requests and return simulated response data. An intuitive interface....
