Search Results for "logic"
Sort By:
Showing 11 open source projects for "logic"
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.
-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
1
The KFramework is the first integral SOFEA/SOUI framework for web based business applications using Domain Driven Design. The framework provides a web delivered SWING frontend and a WebServices based backend.
-
2
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. -
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
AXEL Web Framework
Seriously good at building web sites
The AXEL framework extends XML and HTML, adding "xml actions" that perform tasks during page processing. Goto http://xmlactions.org for a full description of how it works. Actions can be as simple as inserting a page, to as complex as building query results from external data sources. The Axel Framework project consists of different components: * axel-actions (core framework) * axel-mapping (a mapping tool built on axel-actions) * axel-pager (a web page builder built on... -
Stop Storing Third-Party Tokens in Your DatabaseRolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
-
5
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.
-
6
Picartesius
Excel/VBA Integration of Picat programming language
Picartesius is a VBA library created by Lorenz Schiffmann for integrating Picat in Excel Spreadsheets. https://sourceforge.net/projects/picartesius Picat is a simple, and yet powerful, logic-based multi-paradigm programming language created by Neng-Fa Zhou and Jonathan Fruhman aimed for general-purpose applications. http://picat-lang.org -
7
Visual WebGui .NET Web Design Tools
Enterprise- level HTML5 application development platform
With its familiar .Net visual drag n' drop, WYSIWYG designer and HTML5 rendering engine, Visual WebGui is the natural choice for core Visual Studio developers who want to create native quality, cross-platform enterprise level HTML5 apps in VB.NET or C#. -
8
HTML5 app development in .NET
Rapidly create HTML5 mobile web enterprise applications in .NET
With its WYSIWYG designer and familiar C# programming model, Visual WebGui is the natural choice for Visual Studio developers who want to create enterprise-class HTML5 apps for any mobile device or desktop. -
9
Mvc Infraestructure
Serializable Data Transfer Object/Generic Dao for J2EE
....: Any component in any J2EE functional chain can access to DTO if they know the key key_i.key_ij.key_ijk.... for object access. This project helps to decouple the data, business logic and persistence logic allowing portability between different frameworks gently. -
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
Chex4j allows you to document and enforce @pre and @post conditions of method calls with runtime or build time class file instrumentation. Conditions run as fast as normal code.
-
11
XUL4Java is a XML UI Framework built upon Java, that lets you build feature rich, cross platform applications across Hetrogenous Architecture, building rich client, desktop , web and mobile application. 'Created For Once And For Ever '
- Previous
- You're on page 1
- Next
