Pinned Loading

1. runtimeverification/llvm-backendruntimeverification/llvm-backendPublic

   KORE to llvm translation

   C++ 43 22

2. runtimeverification/kruntimeverification/kPublic

   K Framework Tools 7.0

   Python 577 162

3. fastxyz/proof-checker-publicfastxyz/proof-checker-publicPublic archive

   C++ 25 11

4. swiftlang/swiftswiftlang/swiftPublic

   The Swift Programming Language

   Swift 70.3k 10.8k

5. tacotacoPublic

   Forked from Quansight-Labs/taco

   The Tensor Algebra Compiler (taco) computes sparse tensor expressions on CPUs and GPUs

   C++

6. Project_WyvernProject_WyvernPublic

   The goal of this project is to design and implement techniques that lets us evaluate function arguments in a lazy fashion.

   C++