Pinned Loading

1. llvm/llvm-project llvm/llvm-project Public

   The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

   LLVM 40.5k 18.7k

2. klox klox Public

   Kotlin implementation of a Lox interpreter

   Kotlin 1

3. A taste of linear logic A taste of linear logic

   1

   ||| An array with linear semantics wrapping in-place mutation

   2

   module Array

   3

   4

   import Data.Fin

   5

   import Data.Linear

4. intel/gprofiler intel/gprofiler Public

   gProfiler is a system-wide profiler, combining multiple sampling profilers to produce unified visualization of what your CPU is spending time on.

   Python 826 79