slavah/lean
Lean Theorem Prover
Public GitHub Catalog
Discovered Oct 5, 2026
slavah / coreclr
This repo contains the .NET Core runtime, called CoreCLR. It is an execution engine for .NET apps, performing functions such as IL byte code loading, compilation to machine code and garbage collection. The repo contains the complete up-to-date CoreCLR codebase.
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.
#30782399GitHub System ID
slavahOrganization / User
PublicVisibility
ActiveCatalog Status
More from slavah
slavah/dash.js
A reference client implementation for the playback of MPEG DASH via Javascript and compliant browsers.
slavah/algorithm-js
Data Structures & Algorithms in javascript
slavah/moloch
Moloch is a open source large scale IPv4 full PCAP capturing, indexing and database system.