Pinned Repositories
ardupilot
ArduPlane, ArduCopter, ArduRover, ArduSub source
awesome-courses
:books: List of awesome university courses for learning Computer Science!
best-papers-in-computer-security
This repo collects the best papers from top 4 computer security conferences, including IEEE S&P, ACM CCS, USENIX Security, and NDSS.
ccf-deadlines
⏰ CCF recommendation conference Deadline Countdowns / Please star this project, thanks~
config-ubuntu-from-scratch
cs-video-courses
List of Computer Science courses with video lectures.
cyclonedx-gradle-plugin
Creates CycloneDX Software Bill of Materials (SBOM) from Gradle projects
iblessing
json
JSON for Modern C++
symbolic-execution-papers
Recent symbolic execution papers and tools.
prncoprs's Repositories
prncoprs/best-papers-in-computer-security
This repo collects the best papers from top 4 computer security conferences, including IEEE S&P, ACM CCS, USENIX Security, and NDSS.
prncoprs/ardupilot
ArduPlane, ArduCopter, ArduRover, ArduSub source
prncoprs/awesome-courses
:books: List of awesome university courses for learning Computer Science!
prncoprs/ccf-deadlines
⏰ CCF recommendation conference Deadline Countdowns / Please star this project, thanks~
prncoprs/config-ubuntu-from-scratch
prncoprs/cs-video-courses
List of Computer Science courses with video lectures.
prncoprs/cyclonedx-gradle-plugin
Creates CycloneDX Software Bill of Materials (SBOM) from Gradle projects
prncoprs/iblessing
prncoprs/json
JSON for Modern C++
prncoprs/klee
KLEE Symbolic Execution Engine
prncoprs/klee.github.io
Website for the KLEE project: https://klee.github.io/
prncoprs/symbolic-execution-papers
Recent symbolic execution papers and tools.
prncoprs/Neovim-from-scratch
A Neovim config designed from scratch to be understandable
prncoprs/prncoprs.github.io
prncoprs/pysfkj
prncoprs/risingwave
RisingWave: the next-generation streaming database in the cloud.
prncoprs/robust_physical_perturbations
Public release of code for Robust Physical-World Attacks on Deep Learning Visual Classification (Eykholt et al., CVPR 2018)
prncoprs/SFKJ
prncoprs/SMPCoDB
prncoprs/ssbd-algo-demo
Small Summaries for Big Data Project algorithm demo
prncoprs/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
prncoprs/tcs
Book in preparation: introduction to theoretical computer science
prncoprs/tinykv
A course to build distributed key-value service based on TiKV model
prncoprs/tinysql
A course to build the SQL layer of a distributed database.
prncoprs/udp_frame_decoder
using libvpx to decode the frame data transmitted from udp
prncoprs/z3
The Z3 Theorem Prover