Search Results for "logic programming" - Page 2
Sort By:
Showing 81 open source projects for "logic programming"
View related business solutions-
Cloud-based help desk software with ServoDeskWhat if You Could Automate 90% of Your Repetitive Tasks in Under 30 Days? At ServoDesk, we help businesses like yours automate operations with AI, allowing you to cut service times in half and increase productivity by 25% - without hiring more staff.
-
Grafana: The open and composable observability platformGrafana is the open source analytics & monitoring solution for every database.
-
1
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... -
2
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. -
3
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. -
4
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,... -
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
5
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. -
6
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... -
7
Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.
-
8
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... -
9
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. -
Keep Your Data in Sync. Ensure Reliable Backups!Synchronize your data the easy way: several assistants support you to create scheduled synchronization tasks. Whether it's an individual file or an entire drive, Synchredible will synchronize, copy and save it for you. A software wizard will assist you to determine jobs that are either pre-scheduled or to be done through a USB connection. This way, you can keep your files in sync automatically! Over the years, our state-of-the-art technology in Synchredible has made copying files easy. It also makes matching your files a simple task while it automatically detects changes and synchronizes the most recently edited files safely and reliably! Thanks to its advanced system for identifying similar files, Synchredible saves you time - unedited files may be skipped if desired. This way, large folders are synchronized in seconds! Synchredible not only works when synchronizing files locally on your computer but also for synchronizing folders via an external network or when using a USB device.
-
10
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
-
11
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? -
12
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... -
13
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... -
14
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. -
15
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. -
16
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. ... -
17
s(ASP)
Implements the stable model semantics without grounding.
s(ASP) is an implementation of the stable model semantics of logic programming. Unlike similar systems, it does not employ any form of grounding. This allows s(ASP) to execute programs that are not finitely groundable, including those which make use of lists and terms. Work on s(ASP) is supported by the National Science Foundation under Grant No. 1423419. Details of how s(ASP) works can be found in the following paper: Marple, Kyle, Elmer Salazar, and Gopal Gupta. ... -
18
ReactXP
Library for cross-platform app development
ReactXP builds on the popular React JS and React Native frameworks. Share most of your code between the web, iOS, Android, and Windows. Create great-looking, responsive web pages and mobile apps that feel native. With React and React Native, your web app can share most its logic with your iOS and Android apps, but the view layer needs to be implemented separately for each platform. We have taken this a step further and developed a thin cross-platform layer we call ReactXP. If you write your... -
19
KAREL 3D WebGL
Children's learning programming language Karel the Robot in 3D
KAREL 3D written in JavaScript with WebGL is a children's programming language for teaching algorithms. This is later variant from Karel the Robot in 3D, created in 1986 for 8bit microcomputer PMD 85-2. Support full recursion, create new commands, complex commands with condition from dialog and direct control with keys, language translation. Objects: brick, wall, mark, fence. Check out the Wiki (here) for more examples and pictures. Include ZIP with original historical... -
20
Skylark
Skylark in Go: the Skylark configuration language
Skylark, now known as Starlark, is an interpreter for a Python-like language implemented in Go. It is designed as a lightweight, deterministic, and embeddable configuration and scripting language ideal for use within larger applications. Skylark maintains Python’s familiar syntax and high-level data types while omitting features that could cause nondeterminism, such as concurrency and dynamic module imports. The interpreter supports first-class functions, dictionaries, lists, and... -
21
S-MVP
Optimized version of MVP, using annotation generics to simplify code
Optimized version of MVP, using annotation generics to simplify code writing, using modular protocols to facilitate maintenance, APT process uses annotation parser to use JavaPoet. Complete the writing of repetitive modules, use ASpect+GradlePlugin to complete horizontal AOP programming+Javassist dynamic bytecode injection+Tinker to achieve hot repair+Retrofit to achieve elegant network operations+RxJava to easily play with data processing. In MVP, Presenter completely separates Model and View, and the main program logic is implemented in Presenter. Moreover, the Presenter is not directly related to the specific View, but interacts through the defined interface (we only need to pass parameters according to the interface when testing alone), so that the Presenter can be kept unchanged when changing the View. i.e. reuse! ... -
22
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 -
23
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. -
24
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.
-
25
Template Tool Release v4.3
Unifying Business Requirements with Application Design through a GUI.
The Template Tool (TT) is a Java-based software, which DOES NOT require the user to write code. TT is a fully functional application that facilitates communication, collaboration, requirements traceability, and rapid mock-up prototyping from the point of conception and requirements gathering, to development, testing, and implementation. With the use of drag-and-drop and push-button selections without having to write any code, TT allows end users to add field components, skip-logic, business...
