Showing 118 open source projects for "logic programming"

View related business solutions
  • Gearset | The complete Salesforce DevOps solution Icon
    Gearset | The complete Salesforce DevOps solution

    Salesforce DevOps done right.

    Gearset is the only platform you need for unparalleled deployment success, continuous delivery, automated testing and backups.
    Learn More
  • Create and manage the email signature you need Icon
    Create and manage the email signature you need

    For companies and organizations that need an email signature solution

    With WiseStamp it’s easy to unify your brand and turn your emails into a powerful marketing tool. Get the most out of your emails with a professionally designed custom email signature.
    Learn More
  • 1
    NATS HTTP Round Tripper

    NATS HTTP Round Tripper

    This is a Golang http.RoundTripper that uses NATS as a transport

    ...It can be an effective bridge for teams migrating from synchronous REST calls to a message-driven fabric without rewriting every call site. Because the transport is swappable, it promotes clean separation between business logic and the underlying network. The result is an incremental pathway to evented architectures with the ergonomics of conventional request/response programming.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Ooui Web Framework

    Ooui Web Framework

    UI library that brings the simplicity of native UI development to web

    ...is a small cross-platform UI library for .NET that uses web technologies. It presents a classic object-oriented UI API that controls a dumb browser. With Ooui, you get the full power of your favorite .NET programming language plus the ability to interact with your app using any device. Make sure to add a reference to Ooui before you start running! With just code, a web server that serves the HTML and web socket logic necessary for an interactive button will start. Ooui has been broken up into several packages to increase the variety of ways that it can be used. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Pytholog

    Pytholog

    A logic programming tool and a logical database with a RESTful API

    Pytholog Tool (Command line & API) An executable tool, built in python, that enables logic programming and prolog syntax through interactive shell that mimics prolog language and / or RESTful API that can be called from other applications. The tool is based on the python library pytholog which can be found here: https://github.com/mnoorfawi/pytholog The tool starts normally from the command line. Let's look at the arguments that can be specified while initiating the tool: $ ....
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4

    s(ASP)

    Implements the stable model semantics without grounding.

    s(ASP) is an implementation of the stable model semantics of logic programming. Unlike similar systems, it does not employ any form of grounding. This allows s(ASP) to execute programs that are not finitely groundable, including those which make use of lists and terms. Work on s(ASP) is supported by the National Science Foundation under Grant No. 1423419. Details of how s(ASP) works can be found in the following paper: Marple, Kyle, Elmer Salazar, and Gopal Gupta. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Streamline Hiring with Skill Assessments Icon
    Streamline Hiring with Skill Assessments

    Say goodbye to hiring guesswork. Use Canditech’s job simulation tests to assess real-world skills and make data-driven decisions.

    Canditech offers innovative, cheat-proof skill assessments and job simulations to transform your hiring process. From technical skills to soft skills, we help you assess candidates on actual job performance. With over 500 customizable tests and powerful video interview features, you can evaluate real-world capabilities, streamline your hiring, and reduce biases. Whether you’re hiring for remote roles, mass hiring, or looking to expand your diversity pool, Canditech’s data-driven platform ensures the right candidates are chosen for the job every time.
    Get a Free Demo
  • 5
    ReactXP

    ReactXP

    Library for cross-platform app development

    ReactXP builds on the popular React JS and React Native frameworks. Share most of your code between the web, iOS, Android, and Windows. Create great-looking, responsive web pages and mobile apps that feel native. With React and React Native, your web app can share most its logic with your iOS and Android apps, but the view layer needs to be implemented separately for each platform. We have taken this a step further and developed a thin cross-platform layer we call ReactXP. If you write your...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    SFBusinessData

    SFBusinessData

    Components for Delphi for the reusable organization of data logic

    SFBusinessData is a set of components for Embarcadero Delphi that answers the question of reusable organization of business or data logic in Delphi applications. With SFBusinessData, business logic is stored in specialized data classes that ideally correspond to the structure of the data model. The basis of these classes is the corresponding base class of SFBusinessData, which is ultimately a dataset. The derived, own classes can be instantiated after registration (also via the designer)...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Highland

    Highland

    High-level streams library for Node.js and the browser

    Highland is a JavaScript library designed to simplify working with streams and asynchronous data flows by providing a functional programming interface on top of Node.js streams. It allows developers to process data in a declarative and composable way, treating streams as sequences that can be transformed using familiar functional patterns such as map, filter, reduce, and flatMap. The library abstracts away much of the complexity of handling backpressure and asynchronous callbacks, enabling developers to focus on data transformation logic rather than low-level stream management. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Cmockery

    Cmockery

    A lightweight library to simplify and generalize writing unit tests

    Cmockery is a lightweight unit testing framework for the C programming language, designed to make writing and executing C tests simple and portable. It allows developers to test the logic of C modules in isolation by replacing external dependencies with mock functions. Cmockery focuses on testing functionality rather than environment-specific behavior, making it ideal for projects where code must run on diverse or constrained systems.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    KAREL 3D WebGL

    KAREL 3D WebGL

    Children's learning programming language Karel the Robot in 3D

    KAREL 3D written in JavaScript with WebGL is a children's programming language for teaching algorithms. This is later variant from Karel the Robot in 3D, created in 1986 for 8bit microcomputer PMD 85-2. Support full recursion, create new commands, complex commands with condition from dialog and direct control with keys, language translation. Objects: brick, wall, mark, fence. Check out the Wiki (here) for more examples and pictures. Include ZIP with original historical...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Get More Customers For Your Auto Repair Shop Icon
    Get More Customers For Your Auto Repair Shop

    Drive the Right Business to Your Auto Repair Shop with KUKUI.

    Kukui's All-in-One Success Platform is a robust integrated marketing software solution that helps businesses in the automotive repair industry to grow their brand and take it to the next level. Kukui offers tools for conversion rate optimization, POS integration, email marketing and retention as well as revenue tracking.
    Learn More
  • 10
    Skylark

    Skylark

    Skylark in Go: the Skylark configuration language

    Skylark, now known as Starlark, is an interpreter for a Python-like language implemented in Go. It is designed as a lightweight, deterministic, and embeddable configuration and scripting language ideal for use within larger applications. Skylark maintains Python’s familiar syntax and high-level data types while omitting features that could cause nondeterminism, such as concurrency and dynamic module imports. The interpreter supports first-class functions, dictionaries, lists, and...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 11
    glint

    glint

    A tool for finite state machine analysis and synthesis.

    glint is a tool facilitating you in development of state-oriented control entities which supposed to be used in very broad areas of programming (e.g. state-oriented network protocols). glint saves you from pondering how your finite state machine should be organized, how many states it should have and what they should mean. You just tell glint how you would like your control entity to operate and glint returns to you the synthesised magic black box which implements the desired logic. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    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
  • 13

    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
  • 14
    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
  • 15
    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
  • 16

    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
  • 17
    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
  • 18

    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
  • 19
    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
  • 20
    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
  • 21
    RxBinding

    RxBinding

    RxJava binding APIs for Android's UI widgets

    RxJava binding APIs for Android UI widgets from the platform and support libraries. One of the greatest benefits of using RxJava is the possibility of composing asynchronous events in a simpler and more straightforward way. Complex UI interactions in Android can also be simplified as well, especially when there are multiple UI events that can be triggered. To describe the interaction pattern with standard Android code, you would usually need to use a combination of both listeners, Handlers...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Korduene

    Korduene

    A visual programming IDE, to create applications without coding.

    Korduene is a visual programming IDE, that lets you create applications without having to know any programming languages, or any previous coding experience, Korduene currently only supports creating windows applications, however there are big plans for the future where Korduene could support other types of projects, or even games. Korduene is currently developed by Rebin, a senior programmer, currently a freelancer and actively developing Korduene. Please note that Korduene is in its very...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 23
    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
  • 24

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