49 projects for "logic programming" with 2 filters applied:

  • Software for managing apps and accounts | WebCatalog Icon
    Software for managing apps and accounts | WebCatalog

    Tired of juggling countless browser tabs? WebCatalog Desktop turns your favorite web apps into dedicated desktop apps

    Turn websites into desktop apps with WebCatalog Desktop—your all-in-one tool to manage apps and accounts. Switch between multiple accounts, organize apps by workflow, and access a curated catalog of desktop apps for Mac and Windows.
    Learn More
  • Point of Sale. Powerful and Simple. Icon
    Point of Sale. Powerful and Simple.

    For retail store owners and multi-location retail operations needing a tool to manage sales, inventory, staff and channels in one place

    Vibe Retail is an all-in-one retail point-of-sale and operations platform built for single-store and multi-location retailers seeking to unify inventory, sales, staff and customer data from one mobile-friendly interface. The system lets you track inventory across locations and warehouses, handle item variations (size, color, material), manage purchase orders and supplier deliveries, print custom barcodes, and transfer stock between stores in real time. On the sales side, Vibe supports multiple payment types (cards, cash, checks, gift cards, EBT), layaway workflows, serial number tracking, delivery management, loyalty programs and branded receipts. Retailers can integrate with online platforms (such as Shopify and WooCommerce), sync in-store and online sales, access 40+ real-time reports on sales, inventory and performance, set up promotions and discounts, and print receipts from mobile devices.
    Learn More
  • 1
    S-MVP

    S-MVP

    Optimized version of MVP, using annotation generics to simplify code

    Optimized version of MVP, using annotation generics to simplify code writing, using modular protocols to facilitate maintenance, APT process uses annotation parser to use JavaPoet. Complete the writing of repetitive modules, use ASpect+GradlePlugin to complete horizontal AOP programming+Javassist dynamic bytecode injection+Tinker to achieve hot repair+Retrofit to achieve elegant network operations+RxJava to easily play with data processing. In MVP, Presenter completely separates Model and View, and the main program logic is implemented in Presenter. Moreover, the Presenter is not directly related to the specific View, but interacts through the defined interface (we only need to pass parameters according to the interface when testing alone), so that the Presenter can be kept unchanged when changing the View. i.e. reuse! ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    ArnoldC

    ArnoldC

    Arnold Schwarzenegger based programming language

    ...While humorous in nature, the language is fully functional and can be used to write real programs, showcasing how flexible compiler and interpreter design can be. The project is a playful experiment in esoteric programming languages, intended to entertain developers while also serving as an example of how language parsing and compilation can work with unconventional syntax. It demonstrates the overlap between pop culture and software development, turning famous lines into executable logic.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 3

    asyncoro

    Python framework for asynchronous, concurrent, distributed programming

    asyncoro is a Python framework for developing concurrent, distributed, network programs with asynchronous completions and coroutines. Asynchronous completions implemented in asyncoro are sockets (non-blocking sockets), database cursors, sleep timers and locking primitives. Programs developed with asyncoro have same logic and structure as Python programs with threads, except for a few syntactic changes. asyncoro supports socket I/O notification mechanisms epoll, kqueue, /dev/poll (and poll...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    Algorithms in Python

    Algorithms in Python

    Data Structures and Algorithms in Python

    Algorithms in Python is a collection of algorithm and data structure implementations (primarily in Python) meant to serve as both learning material and reference code for engineers. It includes code for graph algorithms, heap data structures, stacks, queues, and more — each implemented cleanly so learners can trace logic and adapt for their problems. The repository is particularly useful for people preparing for competitive programming, job interviews, or building a foundational understanding of algorithmic patterns. Because it’s openly maintained, you can browse through issues, see test cases, and observe coding style in a “learning through code” fashion. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • World class QA, 100% done-for-you Icon
    World class QA, 100% done-for-you

    For engineering teams in search of a solution to design, manage and maintain E2E tests for their apps

    MuukTest is a test automation service that combines our own proprietary, AI-powered software with expert QA services to help you achieve world class test automation at a fraction of the in-house costs.
    Learn More
  • 5
    wxPHP

    wxPHP

    PHP bindings for the cross-platform GUI library wxWidgets.

    wxPHP is a php binding/wrapper for the cross-platform library wxWidgets, which gives you the ability to develop desktop applications using the php programming language. This applications can be executed on windows, linux and macosx using the same code base with a native look and feel. One of the ideas is that you can use your php web applications code base and logic to create native desktop applications that communicate to them transparently. This way you can give your users a seamless and native experience from the desktop while staying in sync with your web apps. ...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 6
    redux-rx

    redux-rx

    RxJS utilities for Redux

    ...It also introduces an observable-based middleware that complies with Flux Standard Actions, ensuring compatibility with Redux conventions. By leveraging RxJS, developers can compose complex asynchronous logic in a declarative and composable way. The project is particularly useful for applications that require real-time data handling, event streams, or complex side-effect management.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 7

    Hibersap

    A Java library to communicate with SAP

    Hibersap helps developers of Java applications to call business logic in SAP backends. It defines a set of Java annotations to map SAP function modules to Java classes as well as a small, clean API to execute these function modules and handle transaction and security aspects. Hibersap's programming model is quite similar to those of modern O/R mappers, significantly speeding up the development of SAP interfaces and making it much more fun to write the integration code. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    The Java Light Component Framework (JLCF) is a framework for developing modular applications for the java language. It allows designing an application using building blocks with well-defined inputs and outputs (aka software components). Using this well-defined modular approach, the application has a clear and explicit design which facilitates the development and maintenance of a software system. JLCF focuses on usability on a simple programming model and also provides advanced features...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Xcerpt is a Query and Transformation Language for XML and Semistructured data. Instead of the navigational approach of XPath-based languages like XSLT or XQuery, Xcerpt uses patterns for querying and is based on concepts of logic programming like unifica
    Downloads: 0 This Week
    Last Update:
    See Project
  • Digital business card + lead capture + contact enrichment Icon
    Digital business card + lead capture + contact enrichment

    Your complete in-person marketing platform

    Share digital business cards, capture leads, and enrich validated contact info - at events, in the field, and beyond. Powered by AI and our proprietary data engine, Popl drives growth for companies around the world, turning every handshake into an opportunity.
    Learn More
  • 10
    Mouse Run

    Mouse Run

    Programming Game, A Practice Tool for Building Intelligent Things

    Mouse Run is a programming game where programmers can implement a mouse and let it run in a maze to hunt of cheese. It is a battle among programmers to test who can build the most intelligent mouse, given limited information during the game. Programmers need only implement one code file, extending from an abstract class that will contain the logic of the individual mouse.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11

    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
  • 12
    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: 0 This Week
    Last Update:
    See Project
  • 13
    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
  • 14
    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
  • 15
    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: 2 This Week
    Last Update:
    See Project
  • 16
    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
  • 17
    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
  • 18
    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
  • 19
    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
  • 20
    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
  • 21
    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
  • 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