Search Results for "library" - Page 3
Sort By:
Showing 480 open source projects for "library"
View related business solutions-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
Earn up to 16% annual interest with Nexo.Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
-
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
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.
-
3
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. -
4
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.
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
5
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... -
6
ASN.1 types and codecs (BER, CER, DER) implementation in Python programming language. A collection of various ASN.1-based protocols data structures is supplied in a dedicated Python package. Project moved to GitHub: https://github.com/etingof/pyasn1
-
7
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 -
8
-
9
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... -
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.
-
10
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.
-
11
Java Ultra-Lite Persistence (JULP): RDBMS independant Object-Relational library. Inheritance, many classes per table, many tables per class, optimistic concurrency, simple mappings, etc. Less then 350KB. GUI to generate classes and mappings.
-
12
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.
-
13
ssprep is a tool that generates file-trees from a given set of templates. The intent is generation of project structures. The major design goals has been: * Simple. * Platform independent. * Configurable. * Recursive.
-
14
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.
-
15
Strongly-Typed Javascript is a translator from Java its very similar Javascript counterpart. Unlike GWT, STJS doesn’t impose you any library on the client side and any special tool during development apart from a Maven plugin.
-
16
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 -
17
StarUML NS
SINVAS(StarUML NS) is re-developed by StarUML developers in Qt.
As of 2014-07-18, this project may now be found at https://sourceforge.net/projects/sinvas/. SINVAS(StarUML NS) is re-developed by StarUML developers in Qt. As a newly launched project, StarUML NS has been mainly driven by developers who had created the StarUML. By strengthening the advantage of existing StarUML version and making up for the shortcoming of, the project’s goal wanted to be a modeling platform that could illustrate the modeling from possessed information, beyond UML... -
18
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
-
19
Soul is a recursive descent parser generator tool for Windows and Linux that comes with a parsing library.
-
20
-
21
jotason-proxy-writer
Generates a JavaScript proxy from .asmx
Is a generator, writes a JavaScript proxy from a web service. Net with extension .asmx, take it as input and uses JSON to serialize and deserialize objects. -
22
RECODER is a Java framework for Java program analysis and source code transformation. It computes an easy to use syntactic and semantic program model containing cross references, and it supports transformation rollbacks and incremental model updates.
-
23
It is (no stack based!) VM in a form of a library. It supports different language paradigms without data type restrictions, allows both interpretation and JIT, produces a fast code. Our goal - to have a GENERIC and POWER tool for code migration.
-
24
DataDraw is a feature rich database generator for high performance C applications. DataDraw gives your C application a high performance object-oriented framework at speeds that beat hand coded C.
-
25
Model driven code generation can improve coding standards, speed, quality of development and reduce your costs. From my experience generating code from XML using XSLT is one of the best and fastest solutions. This is just the base of the framework presenting the idea, any code template can be implemented upon request. Some sample generators are present for SQL / PLSQL / C# / AnsiC / Java The main target is to generate DTO/BDO/POJO objects based on the database definitions in...
