emk/experimental-coq-proofs
Messing around with the Coq proof assistant
Public GitHub Catalog
Discovered Oct 3, 2026
emk / abort_on_panic-rs
Rust library to intercept panic! from unsafe locations and abort the process (for use with C FFI callbacks)
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.
#27776113GitHub System ID
emkOrganization / User
PublicVisibility
ActiveCatalog Status
More from emk
emk/snappy_framed-rs
Read and write the Snappy "framed" compression format from Rust (modest compression, very fast).
emk/dribble-rs
Test your implementations of Rust's Read and Write traits by passing data in small, randomly-sized chunks.
emk/jit.rs
LibJIT wrapper for Rust