Showing 93 open source projects for "logic programming"

View related business solutions
  • Gen AI apps are built with MongoDB Atlas Icon
    Gen AI apps are built with MongoDB Atlas

    The database for AI-powered applications.

    MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
    Start Free
  • Level Up Your Cyber Defense with External Threat Management Icon
    Level Up Your Cyber Defense with External Threat Management

    See every risk before it hits. From exposed data to dark web chatter. All in one unified view.

    Move beyond alerts. Gain full visibility, context, and control over your external attack surface to stay ahead of every threat.
    Try for Free
  • 1

    PacManSGF

    The Old PacMan! programed over the Salvat Game Fabric platform

    Just another PacMan But this time with a simple programming interface. With the help of Salvat Game Fabric it was simple to concentrate effort only on the game logic. Take a look and see how it is simple to build a game using SGF
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    EventMachine

    EventMachine

    EventMachine, fast, simple event-processing library for Ruby programs

    ...Extremely high scalability, performance and stability for the most demanding production environments. An API that eliminates the complexities of high-performance threaded network programming, allowing engineers to concentrate on their application logic. This unique combination makes EventMachine a premier choice for designers of critical networked applications, including Web servers and proxies, email and IM production systems, authentication/authorization processors, and many more. EventMachine has been around since the early 2000s and is a mature and battle-tested library.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    C++ Fuzzy Logic Programming Library - For problem solving in the fuzzy logic domain. It has an object oriented API well suited to C++ syntax for direct inclusion in source code. Portable to platforms that support the C++ STL.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4

    Template Tool Release v4.3

    Unifying Business Requirements with Application Design through a GUI.

    The Template Tool (TT) is a Java-based software, which DOES NOT require the user to write code. TT is a fully functional application that facilitates communication, collaboration, requirements traceability, and rapid mock-up prototyping from the point of conception and requirements gathering, to development, testing, and implementation. With the use of drag-and-drop and push-button selections without having to write any code, TT allows end users to add field components, skip-logic, business...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • 5
    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: 3 This Week
    Last Update:
    See Project
  • 6

    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: 0 This Week
    Last Update:
    See Project
  • 7
    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
  • 8
    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: 5 This Week
    Last Update:
    See Project
  • 9

    Qore Programming Language

    Multithreaded scripting language

    Qore is a scripting language supporting threading and embedded logic, designed for applying a flexible scripting-based approach to enterprise interface development but is also useful as a general purpose language. No more development or releases happen on sourceforge; development has moved to https://github.com/qorelanguage/qore
    Downloads: 1 This Week
    Last Update:
    See Project
  • Cloud-based help desk software with ServoDesk Icon
    Cloud-based help desk software with ServoDesk

    Full access to Enterprise features. No credit card required.

    What if You Could Automate 90% of Your Repetitive Tasks in Under 30 Days? At ServoDesk, we help businesses like yours automate operations with AI, allowing you to cut service times in half and increase productivity by 25% - without hiring more staff.
    Try ServoDesk for free
  • 10
    TOVAL: Toms Java Library

    TOVAL: Toms Java Library

    Library with classes for common programming issues.

    TOVAL comprises a set of java classes for common programming issues. It includes utils for arrays, lists, sets and collections for convenient handling and modification, but also support for mathematic definitions concerning logic (clauses + resolution) together with some algorithms for permutations, powersets and resolution. Additionally it contains a number of types for multisets, matrices with object keys and much more.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11

    dpcm-dt

    DPCM DT automates the development of WSN applications

    ...DPCM DT is a toolset developed as part of the WSN-DPCM Artemis project that aims to help the developers to create WSN applications faster by automating most development tasks below the application-specific business logic. The toolset can be used both by the application domain experts, which may have limited development skills, and power users that can interact with the toolset flow in different ways to leverage their programming and development proficiency.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12

    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
  • 13

    GambleKit

    C++ Framework for slot machine games

    GambleKit is a free open-source C++ object oriented library for quick and easy building of slot machine and gambling games with reels and GUI management. It relies basically on declarative programming style, so the programmer needs simply to declare, for example at creation time, the basic layout and behavior of the game, and then leave the game flow, requiring as little additional intervention as possible. The project is welcoming contributors and feedback is appreciated! The next...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Python interface to ECLiPSe Constraint Logic Programming.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    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
  • 16
    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
  • 17
    This is a C source code scanner based on symbolic logic. It analyses C source code (especially that of the Linux kernel, at which it is aimed) for programming errors and vulnerabilities. The tests are defined by the user.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18

    Xross Tab / QScript

    Market Research Data Processing Suite

    XTCC/Qscript revolves around two concepts: 1) Data collection : Qscript 2) Data analysis : XTCC Qscript enables Market Research companies to securely collect data using online and offline mediums such as web, tablets/mobile. Different products include: 1) Pen and Paper Survey Management Qscript enables faster and easier keyboard entry with real time logic and validation. It generates SPSS and IBM Quantum compatible data tabulation programs leading to significant time savings of up...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    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
  • 20

    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
  • 21
    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
  • 22
    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
  • 23

    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
  • 24
    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: 0 This Week
    Last Update:
    See Project
  • 25
    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