pnkfelix/teyjus
An efficient implementation of the higher-order logic programming language Lambda Prolog (clone of http://code.google.com/p/teyjus/)
Public GitHub Catalog
Discovered Oct 2, 2026
pnkfelix / presentations
Source for miscellaneous presentations
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#23214094GitHub System ID
pnkfelixOrganization / User
PublicVisibility
ActiveCatalog Status
More from pnkfelix
pnkfelix/chroagh
Chromium OS Archlinux Chroot Environment
pnkfelix/dash.el
A modern list library for Emacs
pnkfelix/naive-undraw
A very naive implementation of the "Undraw" from bowdraw-rs