Search Results for "version" - Page 3
Sort By:
Showing 720 open source projects for "version"
View related business solutions-
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
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.
-
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
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...
-
3
G4LTL-ST
Generating PLC programs from formal 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. -
4
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... -
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
5
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. -
6
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.
-
7
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.
-
8
Arcimboldo
Generator's generator (JSON templates plus automatic DSL generation)
Generating the files of an application with the help of a DSL (domain specific language) is very nice . . . provided the development of the DSL itself is not more complex than the application development itself. This workbench is based on the JSON templates and a so-called description file that lists the files to generate. It requires thus a minimum of knowledge and effort to manage the templates and the source specification. It provides a powerful multi-file editor that highlights the... -
9
MOBIDICK (MOdular But IntegrateD applICation frameworK) is dedicated to gather as less as possible Java frameworks in order to complete full needs of large business application and allow regeneration of code, even when java frameworks change.
-
8 Monitoring Tools in One APM. Install in 5 Minutes.AppSignal works out of the box for Ruby, Elixir, Node.js, Python, and more. 30-day free trial, no credit card required.
-
10
Adichatz - Eclipse 4 RCP Framework
Develop quickly & easily Eclipse 4 RCP Application in JEE/JSE context
In a few minutes, Adichatz plugins allow you to develop an Eclipse 4 RCP application using JPA in a JEE or JSE context. Editors enable to edit beans and their dependencies including databinding, validation, transaction... Components are easily extensible. -
11
Java Application Framework For All
JAFFA is a Rich Web 2.0 POJO based Event-Driven SOA framework
An Enterprise Focused Java Framework For Rapid Application Development. JAFFA is a Java web application development stack, build around Web 2.0 technologies (ExtJS, DWR, JAWR) with an extensive service architecture, meta-data layer and rules engine (based on JBoss AOP and Drools). It provides an event driven SOA infrastructure with advanced scheduling and queue sub-systems -
12
-
13
WesWorkshop
Create units and attacks for Wesnoth!
...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 version 1.0! Version 1.2 preview released (2015-03-08): http://sourceforge.net/p/wesworkshop/wiki/versions#v1.2 If you like this program, be kind please: write a review or vote it, it would be very appreaciated and useful. *: The version was released on 05th April 2014. ... -
14
The target system of this project is to develop mathematically efficient program code generator from cellml like biological models described by mathematical markup languages.
-
15
LiveCoder
Interactive Environment for Coffee-Script, Jade and Stylus
LiveCoder helps you to play with Coffee-Script ( Language that compiles to JavaScript) , Jade ( Popular Node.js Template Engine), and Stylus CSS pre-processor. This is not a IDE or any Development Environment, This just helps you to effectively learn these languages. -
16
Hades aims to become the reference open source environment for developing, validating and deploying PLUTO (Procedure Language for Users in Test and Operations) procedures.
-
17
QueryObjectFactory (QOF) is a lightweight runtime JDBC byte-code generator providing support for CRUD (create, retrieve, update and delete) operations and stored procedure calls. It uses Java annotations to define mappings and is fully OSGi ready.
-
18
JNIAnotationBridge
Automatic c++ JAVA JNI code generator via annotations
Automatic c++ JAVA JNI code generator via annotations Supported: JNI header + source code with automatic cast to c++ bridge class Java String conversion to std::string Bridge c++ class to Java class -
19
Coco/S Parser Generator
Parser Generator based on Coco/R
Coco/S is a compiler generator that takes plain EBNF grammar files and features a SAX style call back API. It is written in Java and produces a Java Scanner (Lexer) and Parser for the language described by the input grammar. Coco/S is a branch of the 2010/11 release of Coco/R for Java. While Coco/R takes an attributed grammar file, Coco/S has a callback API. This has the advantage of a clean separation between grammar (EBNF) and Compiler/Interpreter. -
20
Objective database abstraction layer (ODAL) is a high-performance database manipulation framework. Features include query API, O-R mapping, data validation/conversion, stored procedure support, code generation. Minimal dependencies. Short startup time.
-
21
Tefkat is the transformation engine for the Eclipse Modeling Framework (EMF). It implements a state-of-the-art declarative model-to-model transformation language, including a source-level debugger and support for UML2, MOF2, and XML Schema-based models.
-
22
PARUS
Dataflow parallel programming language for clusters
PARUS is a data-flow parallel programming language that allows to build parallel programs for clusters and MPP multiprocessors. The data-flow graph is automatically converted to the C++/MPI source and linked with the libparus runtime library. Also there are available tools for benchmarking cluster interconnect and visualize it. -
23
Development of applications in java Swing with the tools and methodologies of the applications web (Plugin, javascript, html, servlet and JSP). Without the necessity of carrying with an application server
-
24
DeClassify
A Java Decompiler with a catchy name.
A Java Decompiler that is based on the object oriented premise of Java. Everything is an object. The intermediate between bytecode and source os an object. -
25
bz-htmlcss2rtf
PHP/Java Making RTF and HTML (with CSS and Script Code) Files
This application was developed in PHP/Java and helps to you to generate RTF File including Images, Tables and Lists. It is useful to generate html files with css and script code in design mode.
