Zhao Zicen's starred repositories
openai-translator
基于 ChatGPT API 的划词翻译浏览器插件和跨平台桌面端应用 - Browser extension and cross-platform desktop application for translation based on ChatGPT API.
gpt_academic
为GPT/GLM等LLM大语言模型提供实用化交互接口,特别优化论文阅读/润色/写作体验,模块化设计,支持自定义快捷按钮&函数插件,支持Python和C++等项目剖析&自译解功能,PDF/LaTex论文翻译&总结功能,支持并行问询多种LLM模型,支持chatglm3等本地模型。接入通义千问, deepseekcoder, 讯飞星火, 文心一言, llama2, rwkv, claude2, moss等。
nju-software-analysis-homework
南京大学《软件分析》课程课后作业(非Bamboo) NJU's software analysis homework; ... Not official, just a reference
PL-Compiler-Resource
程序语言与编译技术相关资料(持续更新中)
SVF-Teaching
Learning and Teaching Software Analysis and Verification via SVF
drip-education-homework
滴水三期课后习题答案
drop-water
滴水逆向课件
ReverseAnalysis
云课堂《X86/X64软件逆向分析入门》示例代码
ProVerif-PE-AKMA
Formal Verification of AKMA and PE-AKMA in ProVerif
proverif-codes
ProVerif codes correspond to election verifiability experiments and results described in the paper “Election Verifiability in Receipt-free Voting Protocols" by Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
SecureAggregation
An implementation of Secure Aggregation algorithm based on "Practical Secure Aggregation for Privacy-Preserving Machine Learning (Bonawitz et. al)" in Python.
MachineLearningLectureNotes
:closed_book: 张志华机器学习导论 MOOC 讲义
Software-quality-and-testing
Software quality and testing
cryptography
Cryptography course slides at Harbin Institute of Technology