Showing 99 open source projects for "logic programming"

View related business solutions
  • Failed Payment Recovery for Subscription Businesses Icon
    Failed Payment Recovery for Subscription Businesses

    For subscription companies searching for a failed payment recovery solution to grow revenue, and retain customers.

    FlexPay’s innovative platform uses multiple technologies to achieve the highest number of retained customers, resulting in reduced involuntary churn, longer life span after recovery, and higher revenue. Leading brands like LegalZoom, Hooked on Phonics, and ClinicSense trust FlexPay to recover failed payments, reduce churn, and increase customer lifetime value.
    Learn More
  • Turn traffic into pipeline and prospects into customers Icon
    Turn traffic into pipeline and prospects into customers

    For account executives and sales engineers looking for a solution to manage their insights and sales data

    Docket is an AI-powered sales enablement platform designed to unify go-to-market (GTM) data through its proprietary Sales Knowledge Lake™ and activate it with intelligent AI agents. The platform helps marketing teams increase pipeline generation by 15% by engaging website visitors in human-like conversations and qualifying leads. For sales teams, Docket improves seller efficiency by 33% by providing instant product knowledge, retrieving collateral, and creating personalized documents. Built for GTM teams, Docket integrates with over 100 tools across the revenue tech stack and offers enterprise-grade security with SOC 2 Type II, GDPR, and ISO 27001 compliance. Customers report improved win rates, shorter sales cycles, and dramatically reduced response times. Docket’s scalable, accurate, and fast AI agents deliver reliable answers with confidence scores, empowering teams to close deals faster.
    Learn More
  • 1

    Diffusive

    Task-oriented distributed computing framework

    DIFFUSIVE HAS MOVED TO GITHUB: http://robphilipp.github.com/diffusive The goal of diffusive programming is to make task-oriented distributed computing easier by separating the execution logic from the distribution logic. Diffusive programming, defined by a set of six principles, is an approach for performing method-level, task-oriented distributed computing. In diffusive programming, any method can be marked for distribution, regardless of its signature. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    SUIT (Scripting Using Integrated Templates) is a template framework that allows you to define your own syntax through user-defined rules. There are PHP and Python versions. This page is also the home of subprojects, Such as TIE, a template manager.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    WIDE Framework

    WIDE Framework

    Web application framework for business logic oriented programming.

    The overall goal of the framework is to provide easy to use, configurable and business logic oriented development of web application, which is flexible and agile for future enhancements and base lining for other web application. Also with the framework, reusability and localization of multi-scope (e.g. multi-country) business logic is easy to implement and understand by the developers and production support. The framework only applies to web applications using Java 6 or later version. It...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4

    LPIA

    Programming language for artificial intelligence

    LPIA is an interpreted symbolic functional language with multi-process capabilities and predefined pattern matching. It is inspired by combinatory logic, lambda calculus, Scheme and Forth. LPIA est un langage symbolique fonctionnel interprété avec des possibilités multi-processus et un filtrage prédéfini. Il est inspiré par la logique combinatoire, le lambda calcul, Scheme et Forth.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Field Sales+ for MS Dynamics 365 and Salesforce Icon
    Field Sales+ for MS Dynamics 365 and Salesforce

    Maximize your sales performance on the go.

    Bring Dynamics 365 and Salesforce wherever you go with Resco’s solution. With powerful offline features and reliable data syncing, your team can access CRM data on mobile devices anytime, anywhere. This saves time, cuts errors, and speeds up customer visits.
    Learn More
  • 5
    SIPF - Simple Intelligent PHP Framework

    SIPF - Simple Intelligent PHP Framework

    This is a base PHP framework for making simple websites with clean URL

    SIPF: Simple Intelligent PHP Framework Simeon Ivaylov Petrov Framework SEO Ideological PHP Framework (SEO - Search Engine Optimization) This is a base PHP framework for making simple websites with clean URLs. It is absolutely free! It's developed for advanced php web developers but if you are a beginner in php programming, I think you can also understand how does it work. SIPF is not a CMS (Content Management System) and it doesn't use the MVC (Model View Controller) logic as most of the PHP frameworks do. I made it using my own logic and I think the final product that came out is very simple to understand and using it to develop your own website will be very easy, too.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 6
    NaruGo is game AI project. Current targets are GO board game and Texas Holdem poker. It investigates Genetic programming to build game AI logic. Also EA/GP simulations for TSP, Graph layout and Prisoners Dilemma problem.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 7
    TOY is a constraint functional logic system, designed to support the main declarative programming styles and their combination
    Downloads: 1 This Week
    Last Update:
    See Project
  • 8
    A declarative logic programming system with first-class relations embedded in a pure functional subset of Scheme. The system has true unions, fair scheduling, lexically-scoped logical variables, set-theoretical semantics, high performance without cuts
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    A Java-based MetaClass/MetaObject meta-programming layer providing generic access to model implementations, decoupling application logic from underlying implementation details and allowing UIs (Swing, HTML, etc.) to be dynamically generated at runtime.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Data management solutions for confident marketing Icon
    Data management solutions for confident marketing

    For companies wanting a complete Data Management solution that is native to Salesforce

    Verify, deduplicate, manipulate, and assign records automatically to keep your CRM data accurate, complete, and ready for business.
    Learn More
  • 10
    ARMR provides a foundation for creating an efficient in-memory database. Its unique list processing structures simplify programming logic and allow the developer to rapidly sort, group, and select data. Give your app a hypercard like capability.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Automata Based Programming Tool for implementing logic for J2SE, J2EE and Sybmian applications. Consists of Java FSM Framework and Eclipse Plugin parts. Plugin implements UML model editor, visual debugger, validator, compiler and interpreter for Eclipse
    Downloads: 1 This Week
    Last Update:
    See Project
  • 12
    Spock is a prototype tool for debugging logic programs under the answer-set semantics. It provides debugging methods for propositional programs in DLV or Smodels syntax. The implemented techniques rely on ASP-meta-programming.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Fi-shell is a front-end to your system shell. It provides nonblocking i/o (concurrency) and pattern maching that is both easy to remember and readable (logic programming)
    Downloads: 2 This Week
    Last Update:
    See Project
  • 14
    Hoople is like attribute-oriented programming for URLs. Rather than having the configuration information and “URL Logic” spread throughout the site, you create a single XML configuration file that contains all the “logic” for each URL on the file
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    SETH is a software effort to deeply integrate Python and Semantic Web technologies, i.e. extend Python to support logic programming paradigm.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    A tool to facilitate writing and operating on fully structured, formalised data and functions. It can be used as a powerful parser, functional programming language or logic tool.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    TyRuBa, a logic-programming language for Java, implemented in Java. TyRuBa was originally intended as language for writing logic-meta programs that generate Java code. It is however, just a normal logic language, with a few peculiarities.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Yet Another Java Framework is a modern, component-based framework for rapid Web programming in Java with strong separation of presentation, logic and business/database layers.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    An Avalon based J2EE Framework which minimizes the complexity and coding effort for middle tier programming by externalize SQL, business logic and workflow logic into XML configuration files.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    A group of systems for building network-oriented intelligent agents, consisting an agent communications infrastructure, April - an agent construction programming language, Go! - a logic programming language and DialoX - an XML-based user interface engine
    Downloads: 3 This Week
    Last Update:
    See Project
  • 21
    Mercury is a modern logic/functional programming language. The Mercury system includes a compiler, debugger, libraries, sample code, profilers, etc. Mercury is designed to be the successor of logic programming languages such as Prolog.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Our goal was to develop a very simple programming language for expressing state machines. You can express the logic of a fairly complex, real life state machine in a single page of text that is easy to understand. Creates Java (C++ may be next).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    Java is great at networking & logic, but lousy at rendering. Flash is great at rendering, but is lousy at programming & networking. Together, Java (killer networking & logic)+Flash (killer rendering) = Killer Cross-Platform Apps in Browsers.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24

    Solve Logic Word Puzzles with CLP

    Constraint Logic can solve word logic puzzles.

    Learn basic constraint logic programming by solving logic word puzzles. Go to http://eclipse.dougedmunds.com . This tutorial will show you how to solve easy 1 star to hard 5 star puzzles, using the eCLiPSe-CLP language (available at http://eclipseclp.org/). Don't confuse this programming language (a prolog language) with the IDE for Java.
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB