Text editor for your terminal: easy, powerful and fast

Flow Control: a programmer's text editor

livecoding prolog style

A Claude Code plugin that automatically captures everything Claude does during your coding sessions, compresses it with AI (using Claude's agent-sdk), and injects relevant context back into future …

Prolog-to-Bash compiler for declarative automation, featuring BFS-optimized transitive closures and recursion support.

Advent of code solutions for 2023

A simple and easy-to-use library to enjoy videogames programming

TIGR - the TIny GRaphics library for Windows, macOS, Linux, iOS and Android.

The most minimal cross-platform GUI library

Embeddable Lambda Prolog Interpreter

🧠 The Axone Prolog VM

Prolog like implementation for embedded systems.

🤖 Generate Prolog predicates using LLMs that embed reasoning justifications, bridging neural and symbolic AI for improved logical coherence.

A tiny, dependency-free computer vision library in C for embedded systems, drones, and robotics.

FreeCHR instance in Python

Repository for the paper "Boolean Matrix Logic Programming on the GPU"

A proof of concept for writing a prolog compiler

Literate testing framework for Scryer Prolog using quad (query-answer) tests

Alternative firmware ROM for the Yamaha DX9 that restores the functionality of the DX7

Read Kagi News on Playdate

Pattern matching for Prolog with library(reif).

A FreeCHR instance written in Zig

Copy of the CCHR Constraint Handling Rules implementation in C

Mozart Programming System v2

Simple Hotkey Daemon for macOS, ported from skhd by koekeishiya

A Tree Parser Generator

The Lobster Programming Language

CakeML: A Verified Implementation of ML

The Handheld Music Studio for Playdate

An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.