Skip to content
@slbtty

slbtty

slbtty's patch submitter

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

Repositories

Showing 10 of 33 repositories

Top languages

Loading…

Most used topics

Loading…