Popular repositories Loading

1. 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 1

2. qt_wayland_globalshortcut_via_portal qt_wayland_globalshortcut_via_portal Public

   Qt demo of using org.freedesktop.portal.GlobalShortcuts

   C++ 1 1

3. temp_ctts_impl temp_ctts_impl Public

   C++ 1

4. 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

5. Dissertation Dissertation Public

   Forked from xnning/Dissertation

   My PhD Thesis

   TeX

6. lambda lambda Public

   Forked from mpu/lambda

   A small λ-calculus interpreter in C

   C