Showing 25 open source projects for "logic programming"

View related business solutions
  • Project Planning and Management Software | Planview Icon
    Project Planning and Management Software | Planview

    For Enterprise PMOs

    Planview® ProjectAdvantage (formerly Sciforma) is an enterprise-centric project and portfolio management (PPM) software designed to enable change, drive innovation, and lead in a company's digital transformation. With ProjectAdvantage, teams can strategically track and monitor project data in order to make relevant decisions. It offers multiple features focused on strategic management, functional management, and execution management. A highly scalable and cost-effective solution, ProjectAdvantage is available in various deployment models.
    Learn More
  • Raima Database Manager is an embedded in-memory database for IoT and Edge devices Icon
    Raima Database Manager is an embedded in-memory database for IoT and Edge devices

    Built by Developers, for Developers

    Raima Database Manager (RDM) is an embedded relational database optimized to run on resource-constrained IoT edge devices that require real-time response. RDM enables intelligent decisions to be made at the device level within microseconds.
    Learn More
  • 1
    GDevelop

    GDevelop

    The game engine for everyone

    GDevelop is an open-source, cross-platform game development software designed to make creating HTML5 and native games easy for everyone. Experts and novices alike can create their own games with GDevelop as it is fast and easy to learn, requiring no knowledge in a specific programming language. What makes GDevelop unique and so easy to use is its powerful and intuitive event-based system. Events are a powerful way to build up your game logic, without having to learn a programming language. GDevelop also features ready-made behaviors for your game objects, and allows you to create new behaviors through the easy to learn events. ...
    Downloads: 32 This Week
    Last Update:
    See Project
  • 2
    KACTL

    KACTL

    KTH algorithm competition template library

    KACTL (the KTH Algorithmic Contest Template Library) is an extensively curated and high-performance C++ algorithms library created by the competitive programming team at the Royal Institute of Technology (KTH) to serve as a trusted, battle-tested codebase for algorithmic contests, programming competitions, and general algorithm development. The repository aggregates dozens of concise implementations of essential data structures, numerical methods, graph algorithms, string processing tools, computational geometry routines, and optimization techniques, all designed with speed, correctness, and compactness in mind. ...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 3
    The Algorithms - C++ #

    The Algorithms - C++ #

    Collection of various algorithms in mathematics, machine learning

    TheAlgorithms/C-Plus-Plus is a large open-source repository that collects implementations of many classic algorithms and data structures written in the C++ programming language. The project is part of the broader “The Algorithms” initiative, which maintains algorithm implementations in several programming languages to support education and knowledge sharing. Within the C++ repository, contributors implement algorithms across a wide range of fields including sorting, graph theory, number theory, machine learning, cryptography, and data structures. ...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 4
    NSync

    NSync

    nsync is a C library that exports various synchronization primitives

    nsync is a portable C library that provides a collection of advanced synchronization primitives designed to facilitate safe and efficient multithreaded programming. It offers reader-writer locks, condition variables, run-once initialization, waitable counters, and waitable bits for coordination and cancellation between threads. Unlike traditional pthreads-based synchronization, nsync introduces conditional critical sections, allowing developers to wait for arbitrary conditions without explicit signaling or complex loop-based logic. ...
    Downloads: 1 This Week
    Last Update:
    See Project
  • PairSoft | AP Automation and Doc Management Icon
    PairSoft | AP Automation and Doc Management

    Free your team from manual processes.

    Streamline operations and elevate your team's efficiency with PairSoft. Our AP automation, procurement, and document management solutions eliminate manual processes, cut costs, and free your team to focus on strategic initiatives. Experience our state-of-the-art invoice-to-pay solution, now integrated with advanced AI technology for faster, smarter results. Our customers report a significant 70% reduction in approval times and annual savings of $62,000 in employee hours. At PairSoft, we aim to transform your business operations through automation. Explore the future of automation at pairsoft.com, where you can leverage cutting-edge features like invoice capture, OCR, and comprehensive AP automation to transform your workflow. Whether you are a small business or a large enterprise, our solutions are designed to scale with your needs, providing robust functionality and ease of use. Join the growing number of businesses that trust PairSoft.
    Learn More
  • 5
    Pipy

    Pipy

    Pipy is a programmable proxy for the cloud, edge and IoT

    ...Its core is written in C++ with excellent cross-platform capability. It is both high performance and low resource. Pipy comes with a built-in JavaScript engine that allows easy custom logic implementation with the simple JS syntax, greatly reducing the complexity in high-performance network programming. It is suitable for a variety of hardware architectures including x86, ARM64, Loongson and RISC-V. It is also compatible with various other operating systems besides Linux.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 6
    Restbed

    Restbed

    Restbed framework brings asynchronous RESTful functionality

    Restbed is a comprehensive and consistent programming model for building applications that require seamless and secure communication over HTTP, with the ability to model a range of business processes, designed to target mobile, tablet, desktop and embedded production environments. Server-Sent Events enable efficient server-to-client streaming of text-based event data—e.g., real-time notifications or updates generated on the server. A technique allowing multiple HTTP requests to be sent on a...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    eCxx

    eCxx

    A C++ library for AVR and NodeMCU

    NOTE: This project is marked with 'Status: Abandoned' on SourceForge because not enough time can be dedicated to this project. However it may still get sporadic commits to the repository. eCxx is a library for AVR and NodeMCU tailored for micro LED displays and lighting effects. eCxx is utilizing Makefile build system. Java and Python based applications/tools are also included to ease the development and debugging process using the host PC. On one side, eCxx supports the original...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 8
    Robot KAREL

    Robot KAREL

    programming language for children

    The robot knows commands step, left, right, pick, put, paint, delay. You can use integer variables, multidimensional arrays, arithmetic and logic operators, procedures and functions with parameters. The application includes a text editor, compiler, interpreter and debugger.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 9
    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
  • Teradata VantageCloud Enterprise is a data analytics platform for performing advanced analytics on AWS, Azure, and Google Cloud. Icon
    Teradata VantageCloud Enterprise is a data analytics platform for performing advanced analytics on AWS, Azure, and Google Cloud.

    Power faster innovation with Teradata VantageCloud

    VantageCloud is the complete cloud analytics and data platform, delivering harmonized data and Trusted AI for all. Built for performance, flexibility, and openness, VantageCloud enables organizations to unify diverse data sources, run complex analytics, and deploy AI models—all within a single, scalable platform.
    Learn More
  • 10

    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
  • 11
    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
  • 12
    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
  • 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
    microTone Module

    microTone Module

    Simple DIY Analog Hardware Interface

    microTone Module is analog interface to connect microcontrollers or digital logic systems with PCs. This interface use PC sound card’s audio output terminal to send commands to external hardware systems.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15

    nevesim

    NEVESIM is an event-driven neural simulation tool.

    NEVESIM is a software package for event-driven simulation of networks of spiking neurons with a fast simulation core in C++, and a scripting user interface in the Python programming language. It supports simulation of heterogeneous networks with different types of neurons and synapses, and can be easily extended by the user with new neuron and synapse types. To enable heterogeneous networks and extensibility, NEVESIM is designed to decouple the simulation logic of communicating events (spikes) between the neurons at a network level from the implementation of the internal dynamics of individual neurons.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16

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

    STE - Simple Text Editor

    A simple but full of functions text editor

    STE is meant to be a simple text editor, as the Windows Notepad, but "on steroid", that's to say it has to be richer in functionalities than the other text editors. At the moment, it's very poor. I need help in developing functionalities such as syntax highlighting (referred to many programming language syntaxes) and every logic thing one can think. So feel free to download the source, try and develop for yourself and, if you want, share your progresses with me and be inserted inside the "development team" and help me with the development of the application.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    DirectX-powered game creator. Easy to use event-based logic with no programming. Drag and drop interface. Includes shaders, physics, layers, debugger and built in behaviors.
    Downloads: 167 This Week
    Last Update:
    See Project
  • 19
    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
  • 20
    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
  • 21
    EasyeMud provides a server, graphical client and a set of tools for creating and administering graphical online multi user dungeon (MUD) type games. Game content and logic are written in scripts similar to the Basic programming language.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    A very easy to use programming language for beginners . A bit like BASIC but the target is to make it compileable and it is more linked with the english language. Maybe we'll do translations were the synthax is translated too. FOR DOS/WIN . License: MIT
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    This is a prolog-like programming language based on the fuzzy logic. It includes the class-libraries for fuzzy logic, probability theory and method of resolution, all made in C++. Java releases possible in the future.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24

    Game Builder

    Map and logic editor

    Create game without programming, but optional you always can replace core engine (source code included)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    a distributed engine for abstract neural network development via natural-language programming
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB