The Google Sans Code font family

Lecture notes for a short course on proving/programming in Coq via SSReflect.

PAF: Probabilistic Analysis of Errors in Floating-Point Computations

Rigorous Global Branch-and-Bound Optimizer

Tutorial on TikZ

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

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