Popular repositories Loading

1. temp_ctts_impl temp_ctts_impl Public

   C++ 1

2. a-tour-of-standard-ml a-tour-of-standard-ml Public

   Forked from Saityi/a-tour-of-standard-ml

   A Tour of Standard ML (in the style of A Tour of Go)

   Standard ML

3. Dissertation Dissertation Public

   Forked from xnning/Dissertation

   My PhD Thesis

   TeX

4. lambda lambda Public

   Forked from mpu/lambda

   A small λ-calculus interpreter in C

   C

5. annotated_latex_equations annotated_latex_equations Public

   Forked from synercys/annotated_latex_equations

   Examples of how to create colorful, annotated equations in Latex using Tikz.

   TeX

6. ebproof ebproof Public

   [A repo mirror as allowed by the LICENSE] A LaTeX package to typeset formal proofs in the style of sequent calculus.

   TeX