kygx-legend/GLmacia
Public repository.
Public GitHub Catalog
Discovered Sep 30, 2026
kygx-legend / TraFOL
A simple implementation of Formalization of Programs in First-Order Logic with a Discrete Linear Order.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#17203041GitHub System ID
kygx-legendOrganization / User
PublicVisibility
ActiveCatalog Status
More from kygx-legend
kygx-legend/WebGL
The Official Khronos WebGL Repository
kygx-legend/crosswalk-android-extensions
Repo for external crosswalk extensions for Android port
kygx-legend/crosswalk-ardrone-demo
Public repository.