d-wang03

d-wang03's Stars

• unified-hmi/virtio-loopback-driver

  Driver for using the RVGPU

  Language:C55

• unified-hmi/remote-virtio-gpu

  A UnifiedHMI project to provide a client-server based rendering engine.

  Language:C2614

• diffblue/cbmc

  C Bounded Model Checker

  Language:C++867269

• alpc62/lock-free-queue

  C/C++Non-Blocking Lock-Free/Wait-Free Circular-Queue

  Language:C++123

• OpenAtomFoundation/TobudOS

  开放原子开源基金会孵化的物联网操作系统，捐赠前为腾讯物联网终端操作系统TencentOS Tiny

  6k1.6k

• ekkart/ePNK

  Repository for the ePNK from version 1.2 onwards

  Language:Java6

• iig-uni-freiburg/WOLFGANG

  Petri Net Editor

  Language:Java255

• max-kammerer/orion-viewer

  Orion Viewer is pdf, djvu, xps, cbz and tiff file viewer for Android devices based on mupdf and DjVuLibre libraries

  Language:Kotlin18554

• OakLabsInc/meta-nvidia

  NVidia binary graphics layer for Yocto Linux

  Language:PHP1011