Search Results for "logic programming" - Page 3

Showing 192 open source projects for "logic programming"

View related business solutions
  • 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
  • Pylon is an All-in-one B2B Support Platform for modern B2B businesses. Icon
    Pylon is an All-in-one B2B Support Platform for modern B2B businesses.

    Pylon is a modern support system that integrates with all B2B channels like Slack and Team.

    We bring together everything a post-sales teams team needs including a ticketing system, B2B omnichannel integrations (Slack Connect, Microsoft Teams), modern chat widget, knowledge base, AI support bot, account management, customer marketing, and more.
    Learn More
  • 1
    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: 1 This Week
    Last Update:
    See Project
  • 2
    React

    React

    A JavaScript library for building user interfaces

    React makes it painless to create interactive UIs. Design simple views for each state in your application, and React will efficiently update and render just the right components when your data changes. React lets you build user interfaces out of individual pieces called components. Create your own React components like Thumbnail, LikeButton, and Video. Then combine them into entire screens, pages, and apps. Whether you work on your own or with thousands of other developers, using React...
    Downloads: 10 This Week
    Last Update:
    See Project
  • 3
    Embabel Agent Framework

    Embabel Agent Framework

    Agent framework for the JVM. Pronounced Em-BAY-bel

    Embabel Agent Framework is a JVM-based framework for building advanced AI agent systems that combine structured programming with large language model interactions to execute complex, goal-oriented workflows. The framework introduces a planning-driven approach where agents dynamically determine sequences of actions required to achieve objectives, rather than relying on fixed pipelines or predefined flows. It models agent behavior through concepts such as goals, actions, and conditions,...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    TypeAgent Python

    TypeAgent Python

    Structured RAG: ingest, index, query

    ...Instead of relying solely on free-form prompts, the architecture emphasizes converting natural language interactions into structured representations that can be processed by deterministic software components. This design allows the system to combine the flexibility of language models with the reliability of traditional programming logic. The repository is intended primarily as a research prototype and sample code rather than a production-ready framework, allowing developers to experiment with building AI agents that maintain structured memory and perform tasks through defined actions.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Quality and compliance software for growing life science companies Icon
    Quality and compliance software for growing life science companies

    Unite quality management, product lifecycle, and compliance intelligence to stay continuously audit-ready and accelerate market entry

    Automate gap analysis across FDA, ISO 13485, MDR, and 28+ regulatory standards. Cross-map evidence once, reuse across submissions. Get real-time risk alerts and board-ready dashboards, so you can expand into new markets with confidence
    Learn More
  • 5
    qxresearch-event-1

    qxresearch-event-1

    Python hands on tutorial with 50+ Python Application

    qxresearch-event-1 is an open-source educational repository that provides a collection of lightweight Python applications designed to demonstrate programming concepts and artificial intelligence techniques in simple and accessible examples. The repository contains dozens of small programs, many implemented with minimal lines of code, covering topics such as machine learning, graphical user interfaces, computer vision, and API integration. Each example is designed to illustrate a single concept or application in a clear and concise manner so that learners can quickly understand the underlying logic. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Python Core 50 Courses

    Python Core 50 Courses

    Structured learning path that organizes Python fundamentals

    ...The material aims to be beginner-friendly while still building habits that matter in real projects, like writing readable functions and testing logic. By the end, students should feel confident writing small to medium programs and be ready to explore web, data, or automation tracks.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Pathway

    Pathway

    Python ETL framework for stream processing, real-time analytics, LLM

    Pathway is an open-source framework designed for building real-time data applications using reactive and declarative paradigms. It enables seamless integration of live data streams and structured data into analytical pipelines with minimal latency. Pathway is especially well-suited for scenarios like financial analytics, IoT, fraud detection, and logistics, where high-velocity and continuously changing data is the norm. Unlike traditional batch processing frameworks, Pathway continuously...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    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
  • 9
    type-fest

    type-fest

    A collection of essential TypeScript types

    ...It provides types like Except, Merge, LiteralUnion, Writable, Promisable, PartialDeep, JsonObject, and many others that solve everyday typing needs in complex TypeScript codebases. Developers pull in just the types they need, which makes code more expressive and safer without reinventing tricky type logic. Because many of the types in type-fest are things “that should have been built-in,” it’s widely adopted across TypeScript projects that need more advanced static typing capabilities. The package is modular, well documented, and regularly maintained to stay compatible with evolving TypeScript versions and features. It plays a central role in type-heavy codebases (frameworks, utilities, libraries) by reducing repetition and giving reliable tools for type-level programming.
    Downloads: 1 This Week
    Last Update:
    See Project
  • Deliver and Track Online and Live Training Fast and Easy with Axis LMS! Icon
    Deliver and Track Online and Live Training Fast and Easy with Axis LMS!

    Axis LMS targets HR departments for employee or customer training,

    Axis LMS enables you to deliver learning and training everywhere through a flexible and easy-to-use LMS that is designed to enhance your training, automate your workflows, and engage your learners.
    Learn More
  • 10
    Phlex

    Phlex

    Object-oriented views in Ruby

    Phlex is a Ruby-based framework for building HTML and SVG views using object-oriented programming principles, offering a unique alternative to traditional template systems like ERB. It allows developers to write UI components entirely in Ruby, providing full control over structure, logic, and rendering without mixing HTML and templating syntax. One of its key advantages is performance, as it can render HTML extremely quickly while maintaining predictable scaling even with complex component hierarchies. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Underscore.js

    Underscore.js

    JavaScript's utility belt

    Underscore.js is a JavaScript utility-library created by Jeremy Ashkenas that provides a broad set of functions for working with arrays, objects, functions, and other data types — essentially a “utility belt” for functional programming in JS. Instead of extending built-in objects or modifying prototypes, Underscore provides its helpers in a single _ namespace, enabling cross-browser support and consistent behaviour across environments. It offers map/filter/reduce, deep-cloning, templating, object traversal, function binding, and more, which makes it easier to write concise, expressive code rather than verbose loops and conditional logic.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    RxDart

    RxDart

    The Reactive Extensions for Dart

    RxDart is a reactive programming toolkit that augments Dart’s native Streams with a rich set of Rx-style operators and subjects. It offers composition primitives like map, where, debounce, throttle, merge, combineLatest, and switchMap, enabling expressive pipelines for events and async data. Subjects provide multicast behaviors so multiple listeners can share a single data source while maintaining semantics like replaying the latest value. By emphasizing immutability and one-way data flow,...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    ECLiPSe CLP

    ECLiPSe CLP

    ECLiPSe Constraint Logic Programming System

    The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.
    Leader badge
    Downloads: 13 This Week
    Last Update:
    See Project
  • 14
    macroquad

    macroquad

    Cross-platform game engine in Rust

    macroquad is a lightweight, easy-to-use game library for the Rust programming language, offering developers a relatively simple and streamlined path to build games across platforms. The library is heavily inspired by simpler game frameworks (like raylib), but brings the ergonomic and safety features of Rust to 2D — and some minimal 3D — development. With Macroquad, you don’t need to worry about low-level graphics plumbing: it handles window and input management, rendering, UI, and more, letting you focus on game logic. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    BotSharp

    BotSharp

    AI Multi-Agent Framework in .NET

    ...Out-of-the-box machine learning algorithms allow ordinary programmers to develop artificial intelligence applications faster and easier. It's written in C# running on .Net Core that is full cross-platform framework. C# is a enterprise-grade programming language which is widely used to code business logic in information management-related system.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Galatea: Multi-agent simulations

    Galatea: Multi-agent simulations

    DEVs with Multi-agent Simulation Platform

    ...GALATEA is also a direct descendent of GLIDER, a DEVS-based simulation language which incorporates tools for continuous modelling as well. In GALATEA, GLIDER is combined with a family of logic programming languages specifically designed to model agents.GALATEA is also a direct descendent of GLIDER, a DEVS-based simulation language which incorporates tools for continuous modelling as well. In GALATEA,
    Downloads: 5 This Week
    Last Update:
    See Project
  • 17
    NSLadder

    NSLadder

    Ladder editor and debugger

    NSLadder is a complete PLC manager based on the Ladder diagram, it generates code that can be directly assimilated by the PLC controller (arduino, raspberry, arm cpu....) NSLadder also allows simulation without a PLC connected Ladder is one of the best visual programming languages ​​is a PLC programming language called ladder diagram (LD) or instructions list (IL). The main strength of lader is the visual representation that is more representative than most programming languages, so people often find it much easier to learn. The clever thing about contact logic is that it is very similar to electrical relay circuits. ...
    Downloads: 29 This Week
    Last Update:
    See Project
  • 18
    REDUCE

    REDUCE

    A Portable General-Purpose Computer Algebra System

    REDUCE is an interactive system for general algebraic computations of interest to mathematicians, scientists and engineers. It can be used interactively for simple calculations but also provides a flexible and expressive user programming language. The development of the REDUCE computer algebra system was started in the 1960s by Anthony C. Hearn. Since then, many scientists from all over the world have contributed to its development. REDUCE has a long and distinguished place in the...
    Leader badge
    Downloads: 136 This Week
    Last Update:
    See Project
  • 19
    GNU Prolog

    GNU Prolog

    The GNU Prolog native compiler

    GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver.
    Leader badge
    Downloads: 246 This Week
    Last Update:
    See Project
  • 20
    XSB
    Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.
    Leader badge
    Downloads: 14 This Week
    Last Update:
    See Project
  • 21

    aguacate

    With aguacate you get a better taste

    Aguacate is a framework with focus on implement business logic functionality, using configuration files (json) instead of programming. See the wiki and the videos See https://github.com/mcnew/aguacate-swagger-demo for a functional demo using docker-compose Videos in Spanish: https://www.youtube.com/playlist?list=PLSHQIkodyHroW2XF7BWCrymDv_Nlj7HRS
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    GemDash

    GemDash

    Gem Dash aka Boulder or Dyna Blaster like 8-bit style game in Python

    ...- Stay alive and avoid the monsters ! - Cursors, CTRL+Cursors, place: SpaceBar, stuck: Backspace, pause/exit: ESC, music: M Room For Improvements: This is just a learning programming experiment of 8-bit games mechanics. If you were to polish this game further you would want to add things like: - Add new levels in GemLevels.txt - Create new monster
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    Kisekae UltraKiss

    Kisekae UltraKiss

    Kisekae UltraKiss is a full featured integrated development environmen

    UltraKiss is a computer program that implements the Kisekae Set system, KiSS, a Japanese graphics system originally developed to facilitate costume changes on virtual dolls. UltraKiss was developed to help artists build their KiSS sets. It is a full featured viewer for all KiSS dolls, games, and visual applications. It is also a complete graphical development environment for creating KiSS applications. It fully implements the FKiSS event driven programming language up to and including...
    Downloads: 20 This Week
    Last Update:
    See Project
  • 24

    usb-loadcell

    USB loadcell meter using an MCP2210 chip to interface with an HX711

    An MCP2210 chip along with a CD74HC132E quad Nand gate used as glue logic is used to interface with an HX711 load cell amplifier. Python along with the PyUSB library is used for control. Tkinter is used as both a visual interface and thread manager. The program uses workcells which are virtual autonomous machines which communicate over a virtual peer to peer network. This results in a very simple asynchronous event driven program environment. Communication between workcells is done by...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 25
    Default composer

    Default composer

    JavaScript library to set default values for nested objects

    ..."default-composer" is a JavaScript library that allows you to set default values for nested objects. The library replaces empty strings/arrays/objects, null, or undefined values in an existing object with the defined default values, which helps simplify programming logic and reduce the amount of code needed to set default values. To use "default-composer", simply import the library and call the defaultComposer() function with the default values object and the original object that you want to set default values for.
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB