jiachunpeng

jiachunpeng's Stars

• QuarkCloud/quark

  完善visual studio的posix c库函数。使得原来linux下的项目代码，可以直接被VS编译调试，生成windows下可执行程序。

  Language:C2612

• NASA-SW-VnV/ikos

  Static analyzer for C/C++ based on the theory of Abstract Interpretation.

  Language:C++2k152

• RT-Thread/rt-thread

  RT-Thread is an open source IoT Real-Time Operating System (RTOS).

  Language:C10.4k5k

• MandyMo/NXEngine

  Language:C++203