ychtao's Stars
IanBriggs/megalibm
hzy24/ucas_marpit_slide
果壳/国科大slide模板_Written by Marpit
LC044/WeChatMsg
提取微信聊天记录,将其导出成HTML、Word、Excel文档永久保存,对聊天记录进行分析生成年度聊天报告,用聊天数据训练专属于个人的AI聊天助手
practical-tutorials/project-based-learning
Curated list of project-based tutorials
VeriNum/vcfloat
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
VeriNum/iterative_methods
Verified Error Analysis for Stationary Iterative Methods
banach-space/llvm-tutor
A collection of out-of-tree LLVM passes for teaching and learning
compiler-explorer/compiler-explorer
Run compilers interactively from your web browser and interact with the assembly
jscoq/jscoq
A port of Coq to Javascript -- Run Coq in your Browser
daviwil/dotfiles
[MIRROR] The path to GNUrvana
plfa/plfa.github.io
An introduction to programming language theory in Agda
AijiaYao/trial.git.io
sjxer723/Tiger
utah-cs4962-fa21/tests
Tests for CS 4962 exercises
travmygit/TigerCompiler
Implementation and Exercises in Modern Compiler Implementation in C.
FKCSP/PLI-Python-based-Lambda-Interpreter
A python based lambda interpreter
MLNLP-World/Paper-Writing-Tips
MLNLP社区用来帮助大家避免论文投稿小错误的整理仓库。 Paper Writing Tips
cmcl/tiger
a compiler implementation
ccyip/oadt
Oblivious Algebraic Data Types
CollegesChat/university-information
收集全国各高校招生时不会写明,却会实实在在影响大学生活质量的要求与细节
RobertHarper/pl-syntax
PL syntax macros.
zijie0/HumanSystemOptimization
健康学习到150岁 - 人体系统调优不完全指南
pixas/CS3612FinalProject
Repository for CS3612-maching learning final project
podgorskiy/VAE
Example of vanilla VAE for face image generation at resolution 128x128 using pytorch.
shimohq/chinese-programmer-wrong-pronunciation
**程序员容易发音错误的单词
YBRua/CourseNotes
Notes for different courses in SJTU
pengw0048/WechatExport-iOS
Save iOS WeChat history as HTML or TXT with neat layout and picture & audio support.
Forsworns/homework
SJTU CS138/CS337/CS339/EE204/SE305/CS308/CS214
Galaxies99/SJTU-course-notes
✍️ The notes of courses in Shanghai Jiao Tong University
sjtug/SJTUThesis
上海交通大学 LaTeX 论文模板 | Shanghai Jiao Tong University LaTeX Thesis Template