slavah/lean
Lean Theorem Prover
A small, fast, JavaScript-based JavaScript parser
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
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