jack-pappas/coreclr
This repo contains the .NET Core runtime, called CoreCLR, and the base library, called mscorlib. It includes the garbage collector, JIT compiler, base .NET data types and many low-level classes.
Public GitHub Catalog
Discovered Sep 27, 2026
jack-pappas / NHol
An implementation of higher-order logic (HOL) in F#. Based on hol-light, Isabelle, and HOL4.
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.
#10360891GitHub System ID
jack-pappasOrganization / User
PublicVisibility
ActiveCatalog Status
More from jack-pappas
jack-pappas/visualfsharp
The Visual F# compiler and tools
jack-pappas/c-blosc
A blocking, shuffling and loss-less compression library that can be faster than `memcpy()`.
jack-pappas/PyTables
PyTables is a package for managing hierarchical datasets and designed to efficiently and easily cope with extremely large amounts of data.