在 Apple Silicon Mac 上入门汇编语言

[이력서/경력기술서] Beautiful CV/resume template for Koreans, in LaTeX

Software developer resume in Latex

📄 Awesome CV is LaTeX template for your outstanding job application

小彭老师领衔编写，现代C++的中文百科全书

Soot - A Java optimization framework

auto upload image with picgo

Ethereal Style for Zotero

A PowerPoint add-in to insert LaTeX equations into PowerPoint presentations on Windows and Mac

Static Value-Flow Analysis Framework for Source Code

The Sparrow Static Analyzer

将Typora伪装成LaTeX的中文样式主题，本科生轻量级课程论文撰写的好帮手。This is a theme disguising Typora into Chinese LaTeX style.

Jenkins Plugin for Astrée

a zotero plugin of changing pdf background color to care your eyes

Lab for fudan program analysis 2024 autumn

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

将 C/C++ 代码转换成流程图 / Turn your C/C++ code into flowchart

CodeViz: A CallGraph Visualiser

Community fork of PlayCover

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

LLVM IR入门指南

Zotero extension to retrieve and validate DOIs and shortDOIs

Learn LLVM 12, published by Packt

《Learn LLVM 12》的非专业个人翻译

文章《Functional Programming For The Rest of Us》的中文翻译

编译原理 词法分析+LL(1)语法分析+恐慌模式错误恢复+中间代码生成+语义分析

Write a simple interpreter of C. Inspired by c4 and largely based on it.