Showing 118 open source projects for "logic programming"

View related business solutions
  • 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
  • AestheticsPro Medical Spa Software Icon
    AestheticsPro Medical Spa Software

    Our new software release will dramatically improve your medspa business performance while enhancing the customer experience

    AestheticsPro is the most complete Aesthetics Software on the market today. HIPAA Cloud Compliant with electronic charting, integrated POS, targeted marketing and results driven reporting; AestheticsPro delivers the tools you need to manage your medical spa business. It is our mission To Provide an All-in-One Cutting Edge Software to the Aesthetics Industry.
    Learn More
  • 1
    Netty

    Netty

    An event-driven asynchronous network application framework

    Netty is an asynchronous, event-driven networking framework for the JVM that simplifies building high-performance clients and servers. It wraps Java NIO with a channel/handler pipeline model, enabling clean composition of codecs, TLS, and application logic with minimal overhead. Its ByteBuf abstractions, buffer pooling, and zero-copy techniques help reduce GC pressure and improve throughput under heavy I/O. Support for common protocols—HTTP/1.1, HTTP/2, WebSocket, and raw TCP/UDP—makes it a...
    Downloads: 9 This Week
    Last Update:
    See Project
  • 2
    Micronaut

    Micronaut

    Micronaut Application Framework

    Micronaut is a modern, JVM-based, full-stack Java framework designed for building modular, easily testable JVM applications with support for Java, Kotlin, and the Groovy language. Micronaut is developed by the creators of the Grails framework and takes inspiration from lessons learned over the years building real-world applications from monoliths to microservices using Spring, Spring Boot, and Grails. Micronaut aims to provide all the tools necessary to build JVM applications. With Micronaut...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    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
  • 4
    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
  • Rezku Point of Sale Icon
    Rezku Point of Sale

    Designed for Real-World Restaurant Operations

    Rezku is an all-inclusive ordering platform and management solution for all types of restaurant and bar concepts. You can now get a fully custom branded downloadable smartphone ordering app for your restaurant exclusively from Rezku.
    Learn More
  • 5
    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
  • 6
    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
  • 7
    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
  • 8
    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
  • 9
    OpenWhisk

    OpenWhisk

    Apache OpenWhisk is an open source serverless cloud platform

    ...OpenWhisk manages the infrastructure, servers and scaling using Docker containers so you can focus on building amazing and efficient applications. The OpenWhisk platform supports a programming model in which developers write functional logic (called Actions), in any supported programming language, that can be dynamically scheduled and run in response to associated events (via Triggers) from external sources (Feeds) or from HTTP requests. The project includes a REST API-based Command Line Interface (CLI) along with other tooling to support packaging, catalog services and many popular container deployment options. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • The Most Powerful Software Platform for EHSQ and ESG Management Icon
    The Most Powerful Software Platform for EHSQ and ESG Management

    Addresses the needs of small businesses and large global organizations with thousands of users in multiple locations.

    Choose from a complete set of software solutions across EHSQ that address all aspects of top performing Environmental, Health and Safety, and Quality management programs.
    Learn More
  • 10
    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
  • 11
    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
  • 12
    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
  • 13
    XSB
    Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.
    Leader badge
    Downloads: 14 This Week
    Last Update:
    See Project
  • 14
    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
  • 15
    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
  • 16
    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
  • 17
    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: 2 This Week
    Last Update:
    See Project
  • 18
    Nano JSON

    Nano JSON

    Lightweight, facility, high performance golang based game server

    Nano is an easy-to-use, fast, lightweight game server networking library for Go. It provides a core network architecture and a series of tools and libraries that can help developers eliminate boring duplicate work for common underlying logic. The goal of nano is to improve development efficiency by eliminating the need to spend time on repetitious network-related programming. Nano was designed for server-side applications like real-time games, social games, mobile games, etc of all sizes. In fact, the nano application is a collection of Components, and a component is a bundle of handlers, once you register a component to nano, nano will register all methods that can be converted to Handler to nano service container.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language, and is implemented in Java. Using JADE a multi-agent system can be distributed over a network effortlessly. This project was moved to https://jason-lang.github.io
    Downloads: 40 This Week
    Last Update:
    See Project
  • 20

    Mouse-83 language interpreter

    An interpreter for Peter Grogono's Mouse programming language.

    Mouse83 stack-based programming language interpreter, written by Jan Mleczko in the C programming language. See the "read me" file for more information.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    OK

    OK

    Welcome to the future of programming languages

    OK? is a modern, dynamically typed programming language created with a strong opinion: to remove needless complexity and help programmers write code that matters. It eliminates many common language features (e.g., ternary operators) in favour of a consistent, minimal syntax: for example it uses only switch statements for control flow and has only one comparison operator. OK?
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    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: 0 This Week
    Last Update:
    See Project
  • 23
    Inform

    Inform

    The core software distribution for the Inform 7 programming language

    Inform is the core distribution of a powerful programming language and design system created for writing interactive fiction, where authors describe stories as text adventure games that players explore through typed commands. The language is distinctive for its natural-language-inspired syntax that reads almost like English, allowing storytellers to define rooms, objects, characters, and narrative logic in an intuitive way that emphasizes expressive clarity and literary structure. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    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
  • 25
    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: 1 This Week
    Last Update:
    See Project