jroesch/acetic
A playground for experimenting with Rust's type system
Public GitHub Catalog
Discovered Oct 6, 2026
jroesch / coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
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.
#31291879GitHub System ID
jroeschOrganization / User
PublicVisibility
ActiveCatalog Status
More from jroesch
jroesch/hacking-rustc
Random documentation and wisdom assembled while hacking on Rustc.
jroesch/concurrency
A place to stash my experiments in Rust concurrency primitives
jroesch/lambdaconf-2015
Materials for my talk at LambdaConf 2015