adamduracz/lean
Lean Theorem Prover
Public GitHub Catalog
Discovered Sep 26, 2026
adamduracz / virtualization-lms-core
A Framework for Runtime Code Generation and Compiled DSLs
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.
#7274469GitHub System ID
adamduraczOrganization / User
PublicVisibility
ActiveCatalog Status
More from adamduracz
adamduracz/acumen-language
Automatically exported from code.google.com/p/acumen-language
adamduracz/frp-arduino
Arduino programming without the hassle of C.
adamduracz/better
Open. Democratic. Project management platform.