Lean Theorem Prover
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
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
Moloch is a open source large scale IPv4 full PCAP capturing, indexing and database system.