2 search results for "author:"Ke Du""

Showing 1 - 2
  1. rocq-vst

    No documentation

    Verified Software Toolchain
    category:Computer Science/Semantics and Compilation/Semantics keyword:C logpath:VST date:2026-08-24
    Andrew W. Appel Lennart Beringer William Mansky Josiah Dodds Qinxiang Cao et al.
    3.2beta
    BSD-2-Clause
    Used by 0 other packages
    07 Sep 2026
  2. rocq-vst-ora

    No documentation

    Ordered Resource Algebras for Iris
    Robbert Krebbers Ralf Jung Amin Timany William Mansky Ke Du
    1.2.1
    Used by 0 other packages
    26 Aug 2026