Skip to content
View nzhenev's full-sized avatar
81 followers · 475 following
  • sys.llc

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report nzhenev

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Lists (3)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated

Starred repositories

3 results for source starred repositories written in Prolog
Clear filter

terminusdb / terminusdb

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

Prolog 3,237 130 Updated Mar 29, 2026

imchipwood / dumbpad

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

Prolog 476 64 Updated Mar 4, 2026

amzuko / gotalog

Golang implementation of datalog, port of MITRE corporation's lua implementation

Prolog 25 4 Updated Sep 21, 2020

Starred topics

See all starred topics