谷歌全新开源人工智能系统TensorFlow官方文档中文版

LeetCode题解，151道题完整版。

VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.

Repository for the Stacks Project

papers of Per Martin Löf

PGF/TikZ 中文手册

Research on integrating datalog & lambda calculus via monotonicity types

Chinese translation for "Free Software, Free Society"(3rd)

A minimalistic, elegant and powerful approach to working with graphs in a functional programming language

UML diagrams for LaTeX/MetaPost

An Open Encyclopedia of Proof Systems

What I wish I knew when learning HoTT

Formalizations of strong normalization proofs

Specification of the Cedille Core language

A Haskell program and library to derive instances for data types