-
rust-coding-guidelines-zh Public
Forked from Rust-Coding-Guidelines/rust-coding-guidelines-zhRust 编码规范 中文版 （非官方）
JavaScript MIT License UpdatedApr 23, 2025 -
-
-
rocksdb Public
Forked from facebook/rocksdbA library that provides an embeddable, persistent key-value store for fast storage.
C++ GNU General Public License v2.0 UpdatedApr 13, 2024 -
DryadSynth Public
Forked from purdue-cap/DryadSynthA SyGuS Solver
C++ MIT License UpdatedFeb 16, 2024 -
project-based-learning Public
Forked from practical-tutorials/project-based-learningCurated list of project-based tutorials
MIT License UpdatedJan 18, 2024 -
build-your-own-x Public
Forked from codecrafters-io/build-your-own-xMaster programming by recreating your favorite technologies from scratch.
UpdatedJan 15, 2024 -
Learn-LLVM-17 Public
Forked from PacktPublishing/Learn-LLVM-17Learn LLVM 17, published by Packt
-
DeepLearningSystem Public
Forked from chenzomi12/aisystemDeep Learning System core principles introduction.
Jupyter Notebook Apache License 2.0 UpdatedDec 26, 2023 -
2-Tree Public
Forked from zxjcarrot/2-TreeSource code for Two is Better Than One: The Case for 2-Tree for Skewed Data Sets
C++ MIT License UpdatedNov 26, 2023 -
-
burg Public
Forked from CloseToZero/burgThe source code of the paper: BURG - fast optimal instruction selection and tree parsing, with some minor modifications.
C Other UpdatedOct 27, 2023 -
-
redbase Public
Forked from junkumar/redbaseA mini database implementation.
C++ Apache License 2.0 UpdatedOct 6, 2023 -
-
bustub2023 Public
Forked from cmu-db/bustubThe BusTub Relational Database Management System (Educational)
C++ MIT License UpdatedAug 14, 2023 -
-
riscv-isa-manual Public
Forked from riscv/riscv-isa-manualRISC-V Instruction Set Manual
TeX Creative Commons Attribution 4.0 International UpdatedJun 7, 2023 -
PL-Compiler-Resource Public
Forked from shining1984/PL-Compiler-Resource程序语言与编译技术相关资料（持续更新中）
Creative Commons Attribution Share Alike 4.0 International UpdatedMay 12, 2023 -
SootUp Public
Forked from soot-oss/SootUpA new version of Soot with a completely overhauled architecture
Java GNU Lesser General Public License v2.1 UpdatedMay 11, 2023 -
CompCert Public
Forked from AbsInt/CompCertThe CompCert formally-verified C compiler
Coq Other UpdatedApr 30, 2023 -
ex3-1-bison Public
实验3-1 基于flex/bison的语法分析(C语言实现)
9CA1
-
compilers-lectures Public
Forked from courses-at-nju-by-hfwei/compilers-lecturesLectures for the class on Compilers@software.nju.edu.cn
TeX MIT License UpdatedApr 26, 2023 -
-
lab2-3-antlr4 Public
SysY2022：基于antlr4的词法分析(C++语言实现)
-
lab2-2-flex-cc Public
SysY2022:基于flex的词法分析(C++)
-
lab2-1-flex Public
SysY2022：基于flex的词法分析(C语言实现)
-
soot Public
Forked from soot-oss/sootSoot - A Java optimization framework
Java GNU Lesser General Public License v2.1 UpdatedApr 19, 2023 -
compilers-resources Public
Forked from courses-at-nju-by-hfwei/compilers-resourcesResources on Compilers
HTML MIT License UpdatedApr 11, 2023 -
{{ message }}