Search Results for "logic programming"

nsync is a portable C library that provides a collection of advanced synchronization primitives designed to facilitate safe and efficient multithreaded programming. It offers reader-writer locks, condition variables, run-once initialization, waitable counters, and waitable bits for coordination and cancellation between threads. Unlike traditional pthreads-based synchronization, nsync introduces conditional critical sections, allowing developers to wait for arbitrary conditions without explicit signaling or complex loop-based logic. ...

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.

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.