Compiler-NJU
☆14Jul 5, 2014Updated 11 years ago
Alternatives and similar repositories for Compiler-NJU
Users that are interested in Compiler-NJU are comparing it to the libraries listed below
Sorting:
- nju compilers☆19May 28, 2018Updated 7 years ago
- NJUCS编译原理实验☆25Jul 9, 2021Updated 4 years ago
- Python implementation of various (graph) algorithms☆11Nov 22, 2013Updated 12 years ago
- Multi-threading brainfuck compiler☆11Dec 10, 2017Updated 8 years ago
- ☆10Oct 11, 2020Updated 5 years ago
- ☆10Dec 8, 2021Updated 4 years ago
- A shared memory dependence tracing tool for dynamic concurrent program analysis☆12Jan 24, 2015Updated 11 years ago
- High-performance key-value store☆12Dec 31, 2018Updated 7 years ago
- ☆13Jul 30, 2025Updated 7 months ago
- A LATEX template of NJU Thesis 2021 Version 南京大学本科生毕业论文LaTex模板 2021版☆106Jan 8, 2022Updated 4 years ago
- Love☆13Jul 25, 2018Updated 7 years ago
- SMVs: Enforcing Least Privilege Memory Views for Multithreaded Applications☆13Jul 7, 2022Updated 3 years ago
- Porpoise is a tool to port applications to Intel SGX enclaves.☆10Sep 27, 2021Updated 4 years ago
- Tmux vim syntax☆37Jan 7, 2016Updated 10 years ago
- ☆17Nov 25, 2015Updated 10 years ago
- ☆15May 23, 2023Updated 2 years ago
- NLP learning☆14May 9, 2024Updated last year
- CTF challenge and Writeup☆13Apr 11, 2019Updated 6 years ago
- Linux kernel source code for Galaxy S22. Extracted from SM-S901U_NA_12_Opensource.zip☆15Oct 7, 2022Updated 3 years ago
- Implementation of QFuzz.☆17Dec 3, 2021Updated 4 years ago
- Static Cross-Entry UAF Detector☆23Apr 28, 2025Updated 10 months ago
- Convert V8 project from GN build system to CMake build system and build for static lib.☆13Sep 15, 2017Updated 8 years ago
- Sourcegraph workflow for Alfred☆15Jun 24, 2016Updated 9 years ago
- SGX protected filesystem demo☆12Jul 28, 2017Updated 8 years ago
- Generate C language control flow diagrams and Dupath in Python language☆15Apr 9, 2022Updated 3 years ago
- Access predefined IMAP mailboxes with a browser using one time passwords or a YubiKey☆17Aug 13, 2016Updated 9 years ago
- ☆17Dec 12, 2021Updated 4 years ago
- See my blog☆23Dec 28, 2014Updated 11 years ago
- iot安全题目学习记录☆16Dec 13, 2021Updated 4 years ago
- ☆20Jun 13, 2022Updated 3 years ago
- Converts LLVM Bytecode to MSIL☆16Oct 5, 2013Updated 12 years ago
- QEMU VM with generic KVM extensions for symbolic execution☆26Sep 24, 2025Updated 5 months ago
- ☆17Sep 23, 2024Updated last year
- Trusted I/O Paths for SGX Enclaves☆18Apr 30, 2020Updated 5 years ago
- 这是我自己用C++写的一个小型数据库，其中包括语义分析，存储管理，检索优化（主要用到了B+树，B+树也是自己写的）☆16Mar 5, 2017Updated 8 years ago
- simpleMANET is an extremely simple MANET simulator and topology visualization tool for Matlab.☆22Sep 26, 2025Updated 5 months ago
- Binary Feature(ACFG) Database for DataCon2022-IoT-Challenge-2☆23Dec 11, 2022Updated 3 years ago
- An approximate solver for concolic execution☆22Apr 29, 2025Updated 10 months ago
- Full chain Chrome 71.0.3578.98 exploit☆22Jul 18, 2021Updated 4 years ago