Search credible GitHub repositories.

A build-it-yourself, 6-wheel rover based on the rovers on Mars!

TerminusDB is a distributed, collaborative database designed for building, sharing, versioning, and reasoning on structured data.

PSLab Hardware Design and Schematics https://pslab.io

PSLab Grove Shield https://pslab.io

OpenType Unicode fonts for Scientific, Technical, and Mathematical texts

Some simple examples for new Prolog programmers

Stabilizer: Rigorous Performance Evaluation

SWI-Prolog for SHaring: a SWI-Prolog web IDE

No repository description provided.

Simple 4x4 numpad with rotary encoder. Powered by QMK via ATmega32u4 Pro Micro

Embeddable Lambda Prolog Interpreter

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

Heavily Xchat inspired beautiful irssi theme.

An X11 window manager written in Prolog

My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.

An in-memory datalog implementation for OCaml.

The object-oriented HPC platform for CFD, plasma and multi-physics simulations whose development started in 2002 at the Von Karman Institute for Fluid Dynamics is finally open!

tar creator+extractor in ~100 lines of prolog

Micro version of esplay hardware, ESP32 based gaming console

LaTeX support for Adobe's Pro opentype fonts: Minion Pro, Myriad Pro, Cronos Pro and possibly more

Parser for Attempto Controlled English (ACE)

Constraint Logic Programming over Integers

Some notes taken while working on Prolog

A PCB for attaching an iPad retina LCD to a DisplayPort source

Constraint Logic Programming over Finite Domains

Strange Loop 2014 archives

A prototype Full Stack fully Open Source NV Center Diamond Magnetometer

Online, interactive edition of the "Simply Logical" Prolog textbook

Euler Yet another proof Engine

C plus Prolog