kelleyvanevert/splb-spla
Compiling the Splb & Spla languages
Public GitHub Catalog
Discovered Sep 24, 2026
kelleyvanevert / nodescrabble
A simple scrabble game UI and server implemented with NodeJS, Express and jQuery
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.
#1727215GitHub System ID
kelleyvanevertOrganization / User
PublicVisibility
ActiveCatalog Status
More from kelleyvanevert
kelleyvanevert/pa-mizar-lambda
A basic Mizar formalization of (untyped) lambda calculus
kelleyvanevert/minprop_pa
An LCF-style proof assistant for minimal propositional logic (in OCaml)
kelleyvanevert/marked
A markdown parser and compiler. Built for speed.