Search Results for "software open-source" - Page 12
Sort By:
Showing 2773 open source projects for "software open-source"
View related business solutions-
Our Free Plans just got better! | Auth0You 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.
-
Waitlist App and Paging SystemStreamline your customer flow with our SMS-powered waitlist, reservations, and queue management app for restaurants, health care providers, and many other businesses.
-
1
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. -
2
Cress Tool Suite
Cress is a comprehensive toolset for graphical service/workflow design
Cress (Communication Representation Employing Systematic Specification) allows graphical description of a wide variety of services such as in data communications/telecommunications, but Cress is not limited to this. The approach allows services to be described graphically as (work)flows of activities. Cress diagrams are automatically translated into formal languages for rigorous analysis and verification, and are also automatically translated into implementation languages for deployment... -
3
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... -
4
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). -
Streamlined Transaction Processing for Growing BusinessesZil Money, A simple and secure platform to move money seamlessly online on-demand.
-
5
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... -
6
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. -
7
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. -
8
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... -
9
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... -
Bullseye Locations: Store Locator SoftwareIn the competitive world of building materials, digital marketers need a contractor or dealer locator that does more than display a phone number and map. Bullseye’s advanced locator provides tools for improving customer engagement, capturing leads, tracking prospects, driving dealer loyalty and increasing sales conversion.
-
10
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.
-
11
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.
-
12
JQVT
A QVT engine targeting Java
MIGRATED TO GITHUB: https://github.com/patins1/raas4emf/ -
13
-
14
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.... -
15
PLP
Powerfull pre-processor
Powerful Verilog Preprocessor. PLP stands for Perl Pre-processor. Perl is used as "control language" that is embedded in the Verilog code (or any other code) to generate code on the fly. It is used commonly as a Verilog pre-processor but can be used with any target/output language (C, C++, Java, VHDL, plain text etc) -
16
The Junicon Project
Java-based Dialect of the Unicon Programming Language
Junicon is a Java-based implementation of Unicon, a very high level object-oriented goal-directed programming language that lives at Unicon.org. Junicon features seamless Java object access, interactive interpretation, and numerous cleanups and enhancements while retaining Unicon's core expression-evaluation semantics. Please see the Junicon Project Web Site for publications about Junicon. -
17
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. -
18
Petri-LLD is a graphical development environment for real-time automation control and is written in Java. It is based on a form of Petri net, and compiles to a number of programmable logic controller (PLC) languages as well as Java and Visual Basic.
-
19
The FXL Project Eclipse Plugin leverages the integration of DSLs, (meta-) modeling approaches, code generation and the development of software configuration tools (sw-component-configuration).
-
20
CoreTML framework is an open-source template-based configuration system allowing the developer to create parametrized templates by inserting special content to any text files. Its main purpose is to serve as a toolkit for semiconductor IP core creation (based on VHDL/Verilog).
-
21
JComp
Program to translate source codes
Program is aimed to be able to translate source codes from one language to other. Currently it only works (somewhat) for the following translations: - pascal to java - pascal to php - c to php Any constructive suggestions or feature requests are welcome -
22
Python Embed C++
Embed C++ in Python source code, dynamically compile and access data
Moved to http://github.com/ftrias/pyembedc Python module to embed C/C++ code within Python source code and scripts. Automatically compile and dynamically link the code. Transparently allow native access to python data from C code and vice versa. Module provides all the "glue" to dynamically convert data types, arrays and structures. -
23
JUnit-Tools
Write less, test more!
A set of tools to optimize the creation and maintainability of junit-tests. -
24
Meta Tag Generator. Allows you to research SEO keywords generate proper compliant meta tags and output them to a HTML or text file for insertion into a finished web project.
-
25
flex: the fast lexical analyser
flex is a tool for generating scanners
flex is a tool for generating scanners. A scanner, sometimes called a tokenizer, is a program which recognizes lexical patterns in text. The flex program reads user-specified input files, or its standard input if no file names are given, for a description of a scanner to generate. The description is in the form of pairs of regular expressions and C code, called rules. Flex generates a C source file named, "lex.yy.c", which defines the function yylex(). The file "lex.yy.c" can be compiled and...
