Search Results for "logic programming" - Page 5
Sort By:
Showing 192 open source projects for "logic programming"
View related business solutions-
Dominate AI Search ResultsAthenaHQ is a cutting-edge platform for Generative Engine Optimization (GEO), designed to help brands optimize their visibility and performance across AI-driven search platforms like ChatGPT, Google AI, and more.
-
ERP Software To Simplify Your ManufacturingGlobal Shop Solutions AI-integrated ERP software provides the applications needed to deliver a quality part on time, every time from quote to cash and everything in between, including shop management, scheduling, inventory, accounting, quality control, CRM and 25 more.
-
1
CSS-Only Chat
A truly monstrous async web chat using no JS whatsoever
css-only-chat is a proof-of-concept demonstration that implements a functioning chat interface using only HTML and CSS, without any JavaScript or backend logic. The project showcases creative use of CSS selectors, checkboxes, labels, and the :checked pseudo-class to mimic interactive behaviors normally handled by JavaScript. Messages are pre-written in the HTML and displayed based on user interaction, making it more of a playful experiment than a real messaging platform. Its main purpose is to illustrate the limits of CSS as a programming and UI tool, serving as both an educational example and a bit of humor within the developer community. ... -
2
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. -
3
CLP Calculator
A calculator for solving problems using Constraint Logic Programming.
It is a simple calculator for solving problems using Constraint Logic Programming. Thanks to it, we can quickly see solution of: - Combinatory problem (Einstein's Riddle) - Scheduling problem (Museum of Art) - Optimization problems (Map Coloring) -
4
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... -
Secure Online Fax and Business Text Messaging ServiceSend and receive SMS and fax online, from email, app or with our developer friendly SMS & fax API. HIPAA compliant & ISO 27001 certified. Outstanding value and 5-star service.
-
5
A program that generates PLD (Programmable Logic Device) programming tables & LFSR/BIBLO (Linear Feedback Shift Register/Built In Logic Block Observer) signature for a function given by the user.
-
6
BuddyBlock
A simple graphical IDE for Arduino developers.
BuddyBlock is an IDE for Arduino graphical programming. Developers can build code logic by dragging and dropping building blocks. The interface by BuddyBlock is simple and easy to use. It provides developers with a wealth of classifying function building blocks module. Building block logic can be translated into corresponding code in real time. Developers can easily control the development of Arduino application through simple drag-and-drop splicing and settings. ... -
7
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... -
8
WarriorJS
JavaScript coding game where players program a warrior to win battles
...WarriorJS combines game mechanics with programming concepts, allowing players to experiment with logic, algorithms, and problem solving while progressing through increasingly difficult levels. WarriorJS can be played through a command line interface, enabling developers to interact with the game directly in a terminal environment. It is organized as a modular monorepo containing several packages that implement the core game engine. -
9
glint
A tool for finite state machine analysis and synthesis.
glint is a tool facilitating you in development of state-oriented control entities which supposed to be used in very broad areas of programming (e.g. state-oriented network protocols). glint saves you from pondering how your finite state machine should be organized, how many states it should have and what they should mean. You just tell glint how you would like your control entity to operate and glint returns to you the synthesised magic black box which implements the desired logic. ... -
ServiceDesk Plus, a world-class IT and enterprise service management platformBest in class online service desk software. Offer your customers world-class services with ServiceDesk Plus Cloud, the easy-to-use SaaS service desk software from ManageEngine, the IT management division of Zoho. Track and manage IT tickets efficiently, resolve issues faster, and ensure end-user satisfaction with the cloud-based IT ticketing system used by over 100,000 IT service desks worldwide. Manage the complete life cycle of IT incidents, problems, changes, and projects with out of the box ITIL workflows. Create support SLAs, define escalation levels, and ensure compliance. Automate ticket dispatch, categorization, classification, and assignment based on predefined business rules, and set up notifications and alerts for timely ticket resolution. Reduce walk ins and unnecessary tickets by giving your users more control. Enable end users to access IT services through your service catalog in the self-service portal. Help users create and track tickets and search for solutions.
-
10
PK2Aux is a library and suite of command-line utilities for using the Microchip PICkit2 programmer device for purposes other than programming (such as the generic pin controls, serial UART, and logic analyzer modes provided by the Windows software).
-
11
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! ... -
12
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 -
13
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. -
14
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.
-
15
gain
Asyncio-based Python framework for building fast web crawling spiders
...It provides a structured framework for creating spiders that can navigate websites, extract structured data, and process the collected results. Developers define crawlers using components such as spiders, parsers, and items, allowing them to organize crawling logic and data extraction rules clearly. Gain supports CSS selectors and XPath expressions for parsing page content and extracting specific elements. Gain also allows developers to configure headers, concurrency levels, and proxy settings to control how crawlers interact with target websites. Because it uses asynchronous programming, Gain can handle multiple requests efficiently while minimizing blocking operations. -
16
WireFactory Simulator
Small factory simulator for control logic test purpose
Wire Factory Simulator (WFS) is a free software to simulate the control of a factory, mainly controlled by IEC 61499 applications. You can build your own factory and controller. The controller can be implemented on any programming language. WFS was originally built to simulate the action of an IEC 614999 application. So, the devices in the factory are easily connected to IEC 61499 applications. The WFS were mainly tested with FBDK (http://www.holobloc.com/). Wire Factory has been... -
17
Logic Lab
This is a suite of mathematical software solvers GUI
This is a suite of mathematical software solvers interface on DLV and other command-line solvers. It helps researchers and students to better comprehend their declarative definitions published on papers. The user can have links to the related papers and to the software of the corresponding definitions. -
18
mymathlab
A place to run your mathematics and logic experiments on line
A place to run your mathematics and logic experiments on line, no need to download, no installation required. Just run in online. -
19
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... -
20
DVelum
Professional PHP/ExtJS-based web development platform
DVelum is a professional web-development platform based on PHP and Extjs that aims at automating routine development tasks and facilitates programming by means of a graphical interface. It offers highest real-time performance, facilitates and speeds up the development process letting you concentrate on business logic and ignore minor issues. DVelum is an indispensable toolkit for development of both complex-structured systems (eCommerce, CRM, WebScada, etc. ) and simple websites. ... -
21
ArnoldC
Arnold Schwarzenegger based programming language
...While humorous in nature, the language is fully functional and can be used to write real programs, showcasing how flexible compiler and interpreter design can be. The project is a playful experiment in esoteric programming languages, intended to entertain developers while also serving as an example of how language parsing and compilation can work with unconventional syntax. It demonstrates the overlap between pop culture and software development, turning famous lines into executable logic. -
22
asyncoro
Python framework for asynchronous, concurrent, distributed programming
asyncoro is a Python framework for developing concurrent, distributed, network programs with asynchronous completions and coroutines. Asynchronous completions implemented in asyncoro are sockets (non-blocking sockets), database cursors, sleep timers and locking primitives. Programs developed with asyncoro have same logic and structure as Python programs with threads, except for a few syntactic changes. asyncoro supports socket I/O notification mechanisms epoll, kqueue, /dev/poll (and poll... -
23
Algorithms in Python
Data Structures and Algorithms in Python
Algorithms in Python is a collection of algorithm and data structure implementations (primarily in Python) meant to serve as both learning material and reference code for engineers. It includes code for graph algorithms, heap data structures, stacks, queues, and more — each implemented cleanly so learners can trace logic and adapt for their problems. The repository is particularly useful for people preparing for competitive programming, job interviews, or building a foundational understanding of algorithmic patterns. Because it’s openly maintained, you can browse through issues, see test cases, and observe coding style in a “learning through code” fashion. ... -
24
CQU
Decision solver for Counting Quantifiers over Unary Predicates
---------------- cqusat 1.0 ---------------- cqusat is a conbstraint solver decides the satisfiability of a set of sentences containing Counting Quantifiers over Unary predicates. It also accepts Universally quantifies sentences over unary predicates, which are presented in the form of propositional clauses (classical Boolean logic clauses). This implementation employs minisat as the SAT solver. It also emplouys COIN-OR Clp linear programming solver, and inherit from it. Given a CQUSAT instance in normal form as input, the program returns a solution, if there is one. The implemented method employs dual Simplex Algorithm with Column Generation. ... -
25
Witchcraft
Monads and other dark magic for Elixir
Witchcraft brings algebraic and category-theoretic abstractions—like semigroups, monoids, functors, applicatives, and monads—to Elixir in a pragmatic, protocol-driven way. It introduces a set of typeclass-style protocols and laws so data types can declare the operations they support and have those behaviors verified. The library encourages composability and pure transformations, letting you build pipelines where effects are modeled explicitly rather than hidden in ad-hoc helpers. Because the...
