Search Results for "logic programming" - Page 4
Sort By:
Showing 192 open source projects for "logic programming"
View related business solutions-
Find out just how much your login box can do for your customer | Auth0From improving customer experience through seamless sign-on to making MFA as easy as a click of a button – your login box must find the right balance between user convenience, privacy and security.
-
All-in-One Inspection SoftwareOptimize Frontline Operations: Elevate Equipment Uptime, Operational Excellence, and Safety with Connected Teams and Data, Including Issue Capture and Corrective Action.
-
1
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... -
2
The Algorithms - C #
Collection of various algorithms in mathematics, machine learning
TheAlgorithms/C is an open-source repository that provides implementations of classic algorithms and data structures written in the C programming language. The project is part of the larger “The Algorithms” initiative, which aims to create educational resources by implementing algorithms in multiple programming languages. Within the C repository, contributors implement algorithms from many areas of computer science including sorting, searching, graph processing, mathematics, machine... -
3
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... -
4
TySON
TypeScript as a Configuration Language. TySON stands for TypeScript
TySON (TypeScript Object Notation) is a subset of TypeScript, chosen to be useful as an embeddable configuration language that generates JSON. You can think of TySON as JSON + comments + types + basic logic using TypeScript syntax. TySON files use the .tson extension. The goal is to make it possible for all major programming languages to read configurations written in TypeScript using native libraries. That is, a go program should be able to read TySON using a go library, a rust program should be able to read TySON using a rust library, and so on. ... -
Next-generation security awareness training. Built for AI email phishing, vishing, smishing, and deepfakes.Assess how your company's digital footprint can be leveraged by cybercriminals. Identify the most at-risk individuals using thousands of public data points and take steps to proactively defend them.
-
5
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. -
6
crawly
High-level web crawling and scraping framework for Elixir apps
Crawly is a high-level application framework for crawling websites and extracting structured data using the Elixir programming language. It provides a complete environment for building web crawlers that systematically visit pages, collect information, and transform that data into structured formats for further processing. Crawly is designed for tasks such as data mining, information processing, and building historical archives of web content. Crawly follows the Elixir and OTP architecture... -
7
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
-
8
ixy-languages
A high-speed network driver written in C, Rust, C++, Go, C#, Java
ixy-languages is a repository exploring the implementation of the ixy network driver (originally written in C) in multiple programming languages, showing how the same core logic can be expressed across language boundaries. The ixy driver is a minimal DPDK-based user-space NIC driver intended for education, demonstration, and controlled experimentation. This project reimplements the ixy driver architecture in Rust, Go, C++, Zig, and possibly other languages, maintaining the same driver semantics and API so users can compare performance, expressivity, safety, and expressiveness trade-offs. ... -
9
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? -
Powerful Website Security | Continuous Web Threat PlatformReflectiz is a comprehensive web exposure management platform that helps organizations proactively identify, monitor, and mitigate security, privacy, and compliance risks across their online environments. Designed to address the growing complexity of modern websites, Reflectiz provides full visibility and control over first, third, and even fourth-party components, such as scripts, trackers, and open-source libraries that often evade traditional security tools.
-
10
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. ... -
11
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. ... -
12
Julog.jl
A Julia package for Prolog-style logic programming
A Julia package for Prolog-style logic programming. -
13
Nesta área você encontra os códigos dos algoritmos dos exemplos de aprendizagem tratados no livro "Algoritmos: Lógica para desenvolvimento de programação de computadores" codificados nos interpretadores algorítmicos VisuAlg, ILA+, G-Portugol, Portugol Online, Portugol Studio e Portugol IDE. In this area you will find the codes of the algorithms of the learning examples dealt with in the book "Algorithms: Logic for computer programming development" coded in the VisuAlg, ILA+, G-Portugol, Portugol Online, Portugol Studio and Portugol IDE algorithmic interpreters.
-
14
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. -
15
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. -
16
EEPROM_editor
EEPROM programmer for the SST39SF040 chip.
This is a single purpose programmer for a 4MB EEPROM chip which is intended to be used as a universal logic device in a state machine. This fills the gap between circuits that are too complex for discrete logic gates while also not being suitable for Arduino type control. FPGAs are suitable for these applications, but the learning curve is steep, the tools are complex and for small one off projects, not worth the effort. An Arduino Nano will be used as an interposer between a Python script doing the programming and SPI connected port expander chips used for generating the required signals. ... -
17
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. ... -
18
FreeCS
FreeCS is a free-software reimplementation of Counter-Strike 1.5.
FreeCS is a free-software reimplementation of Counter-Strike 1.5 running on the FTEQW engine. All it is, is a game-logic re-implementation in QuakeC, an architecture independent programming language. FreeCS is not a game-engine as it relies on FTEQW (released under the GPL V2). All this makes it possible to play FreeCS on virtually any platform! No DRM! No third-party accounts! Just download, play, contribute. The game-logic is written by me with help of twhl.info's wiki. ... -
19
Wechaty
Conversational RPA SDK for chatbot makers
...Wechaty support lots of popular instant messaging platforms. And you can write Wechaty in almost all popular programming languages. -
20
Pytholog
A logic programming tool and a logical database with a RESTful API
Pytholog Tool (Command line & API) An executable tool, built in python, that enables logic programming and prolog syntax through interactive shell that mimics prolog language and / or RESTful API that can be called from other applications. The tool is based on the python library pytholog which can be found here: https://github.com/mnoorfawi/pytholog The tool starts normally from the command line. Let's look at the arguments that can be specified while initiating the tool: $ .... -
21
Amethyst Game Engine
Data-oriented and data-driven game engine written in Rust
...It should be beginner friendly but also allow more advanced uses such as custom render passes and GLSL shaders. Thanks to the Rust programming language, Amethyst uses all CPU cores to run its internals and logic. A lot of optimizations have yet to be done, but the current status is already showing great potential. Amethyst is open source and free software. You can use, read, modify, distribute its source code under the permissive MIT and Apache 2.0 licenses. -
22
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. ... -
23
PinPog
Ping-Pong-like game in Assembly that works without OS
pinpog is a simple, open-source ping pong game implemented in C using SDL2. Created by Tsoding, it serves as both a nostalgic recreation of the classic arcade game and a fun educational project demonstrating game development fundamentals such as collision detection, input handling, and frame-based rendering. It’s small in scope but clear in design, making it ideal for those learning C or exploring real-time interactive programming through games. -
24
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. ... -
25
libklel
The KoreLogic Expression Language Library
The KoreLogic Expression Language Library is a C library that provides a simple expression language that can be embedded in other programs. This library does not implement a full programming language, but rather a simpler expression language called KLEL (pronounced 'kal ell') that is designed to provide arithmetic and logic operations useful in situations where embedding a full programming language would be overkill. KLEL expressions have access to a full set of arithmetic and logic operations, and they can access functions and variables exported from the embedding program. ...
