slavah/lean
Lean Theorem Prover
Algebraic data types for JavaScript
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Lean Theorem Prover
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.
A reference client implementation for the playback of MPEG DASH via Javascript and compliant browsers.
Data Structures & Algorithms in javascript