ljt12138

ljt12138's Stars

• mirage-project/mirage

  Mirage: Automatically Generating Fast GPU Kernels without Programming in Triton/CUDA

  Language:C++689145340

• bbentzen/mpl

  A Henkin-style completeness proof for the modal logic S5

  Language:Lean13201

• LazyJazz/LightRenderer

  Light Renderer by LazyJazz

  Language:C++7001