Popular repositories Loading

1. lingeling lingeling Public

   Forked from arminbiere/lingeling

   Lingeling SAT Solver

   C 1

2. HLS_Legup HLS_Legup Public

   Forked from wincle626/HLS_Legup

   Verilog

3. PL-Compiler-Resource PL-Compiler-Resource Public

   Forked from shining1984/PL-Compiler-Resource

   程序语言与编译技术相关资料（持续更新中）

4. ANGRYsearch ANGRYsearch Public

   Forked from DoTheEvo/ANGRYsearch

   Linux file search, instant results as you type

   Python

5. Wudao-dict Wudao-dict Public

   Forked from ChestnutHeng/Wudao-dict

   有道词典的命令行版本，支持英汉互查和在线查询。

   Python

6. llvm-project llvm-project Public

   Forked from llvm/llvm-project

   The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at…