eholk/coq-stlc
Proof of type safety for Simply Typed Lambda Calculus in Coq.
Public GitHub Catalog
Discovered Sep 25, 2026
eholk / servo
The Servo Browser Engine
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.
#4426371GitHub System ID
eholkOrganization / User
PublicVisibility
ActiveCatalog Status
More from eholk
eholk/accelerate-examples
Examples and regression tests for the Accelerate library
eholk/rust-http
Rust HTTP library (server and client)
eholk/rust-core
Public repository.