eholk/coq-stlc
Proof of type safety for Simply Typed Lambda Calculus in Coq.
Public GitHub Catalog
Discovered Sep 26, 2026
eholk / llvm
Temporary fork of LLVM for Rust
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.
#6984097GitHub 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.