Search Results for "logic programming" - Page 2
Sort By:
Showing 118 open source projects for "logic programming"
View related business solutions-
Skillfully - The future of skills based hiringSkillfully 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.
-
AestheticsPro Medical Spa SoftwareAestheticsPro 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.
-
1
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... -
2
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... -
3
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... -
4
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... -
Rezku Point of SaleRezku 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.
-
5
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. -
6
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. ... -
7
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. -
8
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,... -
9
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. ... -
The Most Powerful Software Platform for EHSQ and ESG ManagementChoose from a complete set of software solutions across EHSQ that address all aspects of top performing Environmental, Health and Safety, and Quality management programs.
-
10
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. -
11
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. -
12
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. -
13
Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.
-
14
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... -
15
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. -
16
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... -
17
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... -
18
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. -
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
-
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. -
21
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? -
22
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. ... -
23
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. ... -
24
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. -
25
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.
