Showing 11 open source projects for "logic"

View related business solutions
  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build generative AI apps with Vertex AI. Switch between models without switching platforms.
    Start Free
  • Go from Code to Production URL in Seconds Icon
    Go from Code to Production URL in Seconds

    Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.

    Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
    Try it free
  • 1
    K-Framework
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    G4LTL-ST

    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.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    AXEL Web Framework

    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Stop Storing Third-Party Tokens in Your Database Icon
    Stop Storing Third-Party Tokens in Your Database

    Auth0 Token Vault handles secure token storage, exchange, and refresh for external providers so you don't have to build it yourself.

    Rolling 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.
    Try Auth0 for Free
  • 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.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 6
    Picartesius

    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
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Visual WebGui .NET Web Design Tools

    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#.
    Leader badge
    Downloads: 4 This Week
    Last Update:
    See Project
  • 8
    HTML5 app development in .NET

    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.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Try Google Cloud Risk-Free With $300 in Credit Icon
    Try Google Cloud Risk-Free With $300 in Credit

    No hidden charges. No surprise bills. Cancel anytime.

    Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
    Start Free
  • 10
    chex4j
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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 '
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB