PAF: Probabilistic Analysis of Errors in Floating-Point Computations

Rigorous Global Branch-and-Bound Optimizer

Tutorial on TikZ

果壳/国科大slide模板_Written by Marpit

提取微信聊天记录，将其导出成HTML、Word、Excel文档永久保存，对聊天记录进行分析生成年度聊天报告，用聊天数据训练专属于个人的AI聊天助手

Curated list of project-based tutorials

VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations

Verified Error Analysis for Stationary Iterative Methods

A collection of out-of-tree LLVM passes for teaching and learning

Run compilers interactively from your web browser and interact with the assembly

A port of Coq to Javascript -- Run Coq in your Browser

[MIRROR] The path to GNUrvana

An introduction to programming language theory in Agda

Tests for CS 4962 exercises

Implementation and Exercises in Modern Compiler Implementation in C.

A python based lambda interpreter

MLNLP社区用来帮助大家避免论文投稿小错误的整理仓库。 Paper Writing Tips

a compiler implementation

Oblivious Algebraic Data Types

收集全国各高校招生时不会写明，却会实实在在影响大学生活质量的要求与细节

PL syntax macros.

健康学习到150岁 - 人体系统调优不完全指南

Repository for CS3612-maching learning final project

Example of vanilla VAE for face image generation at resolution 128x128 using pytorch.

中国程序员容易发音错误的单词

Notes for different courses in SJTU