Showing 25 open source projects for "logic programming"

View related business solutions
  • Premier Construction Software Icon
    Premier Construction Software

    Premier is a global leader in financial construction ERP software.

    Rated #1 Construction Accounting Software by Forbes Advisor in 2022 & 2023. Our modern SAAS solution is designed to meet the needs of General Contractors, Developers/Owners, Homebuilders & Specialty Contractors.
    Learn More
  • SoftCo: Enterprise Invoice and P2P Automation Software Icon
    SoftCo: Enterprise Invoice and P2P Automation Software

    For companies that process over 20,000 invoices per year

    SoftCo Accounts Payable Automation processes all PO and non-PO supplier invoices electronically from capture and matching through to invoice approval and query management. SoftCoAP delivers unparalleled touchless automation by embedding AI across matching, coding, routing, and exception handling to minimize the number of supplier invoices requiring manual intervention. The result is 89% processing savings, supported by a context-aware AI Assistant that helps users understand exceptions, answer questions, and take the right action faster.
    Learn More
  • 1
    core.logic

    core.logic

    A logic programming library for Clojure & ClojureScript

    core.logic brings logic programming to Clojure and ClojureScript through an implementation of miniKanren, enabling relational, constraint-based, and nominal logic programming. It allows complex reasoning and declarative problem-solving directly in Clojure. core.unify provides a la carte unification facilities that are not deeply tied into the operation of a logic engine.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 2
    Iced

    Iced

    A cross-platform GUI library for Rust, inspired by Elm

    Iced is a cross-platform, end-user-oriented GUI library for Rust, inspired by The Elm Architecture. It expects you to split user interfaces into four different concepts, which are: the state of your app; messages, which are user interactions or other meaningful events; view logic, which displays your state as widgets that can result in messages; and update logic, which offers a way to update your state and react to messages. Iced is very simple and easy to use, and is type-safe. It offers...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 3
    The Agda standard library

    The Agda standard library

    The Agda standard library

    ...While we always try and write efficient code, we prioritize ease of proof over type-checking and normalization performance. If computational performance is important to you, then perhaps try agda-prelude instead. Agda is a dependently typed programming language. It is an extension of Martin-Löf’s type theory and is the latest in the tradition of languages developed in the programming logic group at Chalmers. Other languages in this tradition are Alf, Alfa, Agda 1, Cayenne. Some other loosely related languages are Coq, Epigram, Idris, and Lean.
    Downloads: 1 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
  • Skillfully - The future of skills based hiring Icon
    Skillfully - The future of skills based hiring

    Realistic Workplace Simulations that Show Applicant Skills in Action

    Skillfully transforms hiring through AI-powered skill simulations that show you how candidates actually perform before you hire them. Our platform helps companies cut through AI-generated resumes and rehearsed interviews by validating real capabilities in action. Through dynamic job specific simulations and skill-based assessments, companies like Bloomberg and McKinsey have cut screening time by 50% while dramatically improving hire quality.
    Learn More
  • 5
    Refined

    Refined

    Refinement types for Scala

    Refined is a Scala library that enhances types with compile-time constraints using predicate-style refinement types. It allows embedding validation logic into types like Refined[Int, Positive], ensuring invalid values are rejected at compile or runtime, thereby increasing safety and reducing boilerplate in domain modeling.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Brick

    Brick

    A declarative Unix terminal UI library written in Haskell

    Brick is a Haskell terminal user interface (TUI) programming toolkit that enables developers to build rich, responsive terminal applications via a declarative model: you define a pure function that renders the UI from application state and supply state transition logic to handle events. brick exposes a declarative API. Unlike most GUI toolkits which require you to write a long and tedious sequence of widget creations and layout setup, brick just requires you to describe your interface using a set of declarative layout combinators. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Basic Computer Games

    Basic Computer Games

    An updated version of the classic "Basic Computer Games" book

    Basic Computer Games is a modern revitalization of the classic “Basic Computer Games” book’s collection of games, ported and expanded into various modern, memory-safe and scripting languages. It includes illustrative code examples of many classic games (e.g. Blackjack, Bowling) in multiple languages, with the goal of making the historical games accessible and educational in safe modern environments. Definitely use the most recent versions and features of the target language, but also try to...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 8
    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: 5 This Week
    Last Update:
    See Project
  • 9
    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: 18 This Week
    Last Update:
    See Project
  • Outbound sales software Icon
    Outbound sales software

    Unified cloud-based platform for dialing, emailing, appointment scheduling, lead management and much more.

    Adversus is an outbound dialing solution that helps you streamline your call strategies, automate manual processes, and provide valuable insights to improve your outbound workflows and efficiency.
    Learn More
  • 10
    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: 4 This Week
    Last Update:
    See Project
  • 11
    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
  • 12
    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
  • 13
    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: 2 This Week
    Last Update:
    See Project
  • 14
    Smallchat

    Smallchat

    A minimal programming example for a chat server

    Smallchat is a minimalistic chat server implemented in C, designed as a small-scale example (for didactic purposes) of writing system software such as network servers, multiplexed I/O and client state handling. The project shows how you can build a working chat server (accepting clients, broadcasting messages) in very few lines of C, without heavy libraries or frameworks—essentially minimal code, minimal dependencies, and minimal feature-set to illustrate the core concepts. It uses the...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    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
  • 16
    Tokamak

    Tokamak

    Framework for building browser apps with WebAssembly

    Tokamak is an open source framework that aims to replicate a large portion of Apple’s SwiftUI API in order to enable developers to build user interfaces that can run in the browser through WebAssembly as well as on native platforms. It provides a declarative programming model similar to SwiftUI, allowing developers to define views, state, and layout logic using familiar patterns while targeting environments beyond Apple’s ecosystem. The project includes a DOM renderer capable of handling a subset of SwiftUI views and modifiers, alongside additional constructs such as custom HTML rendering for greater flexibility when interacting with web technologies. ...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 17
    atto

    atto

    Friendly little parsers

    Atto is a compact, pure-functional, incremental text parsing library for Scala. It offers a non-invasive API using familiar abstractions, making it a principled tool for everyday parsing tasks in functional programming.​
    Downloads: 2 This Week
    Last Update:
    See Project
  • 18
    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
  • 19
    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
  • 20
    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
  • 21
    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
  • 22
    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
  • 23
    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: 0 This Week
    Last Update:
    See Project
  • 24
    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: 1 This Week
    Last Update:
    See Project
  • 25

    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
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB