Ejhfast/editor-mockup
Mock up basic text editor with space pen
Public GitHub Catalog
Discovered Sep 24, 2026
Ejhfast / node-proof-server
Nodejs wrapper for acl2 proof checker
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.
#2507440GitHub System ID
EjhfastOrganization / User
PublicVisibility
ActiveCatalog Status
More from Ejhfast
Ejhfast/coffeetypes
Some basic type checking for coffeescript (at runtime)
Ejhfast/augur-nlp-mining
Public repository.
Ejhfast/turkee
Blurring the line between Mechanical Turk, Rails and usability testing..