-
University of Chinese Academy of Sciences
- Beijing
Stars
[NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"
Magnificent app which corrects your previous console command.
An RPKI Validator and RTR server written in Rust
pointer-anaylise base on llvm 5.0.0 and clang 5.0.0
UCSD CSE231 Advanced Compiler - LLVM project
Assignment3 for course Advanced Tutorial of Compiler
🖥️ An xv6-like operating system on RISC-V with multi-core support. Documentation available online.
The gRPC library for Rust built on C Core library and futures
Official repository of the Arm Research Starter Kit on System Modeling using gem5
本文原文由知名 Hacker Eric S. Raymond 所撰寫,教你如何正確的提出技術問題並獲得你滿意的答案。
Implementation of Parallel Breadth-First Search on Distributed Memory Systems
⚡ A high-performance path tracer implemented in Rust based on "Ray Tracing in One Weekend" featuring static dispatch, multi-threaded rendering and a variety of preset scenes.
A collection of memory allocators
更新2008年版本的《上海交通大学生存手册》gitbook发布于https://survivesjtu.gitbook.io/survivesjtumanual/
A library of Excel VBA functions and routines I use in projects
The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....