jsinglet

jsinglet's Stars

• HoTT/book

  A textbook on informal homotopy type theory

  Language:TeX2k121634360

• jsinglet/latex-preview-pane

  Makes LaTeX editing less painful by providing a updatable preview pane

  Language:Emacs Lisp13254624

• github/codeql-coding-standards

  This repository contains CodeQL queries and libraries which support various Coding Standards.

  Language:CodeQL128625760

• FreeAndFair/ColoradoRLA

  Software to facilitate risk-limiting audits at the state level, developed for the state of Colorado.

  Language:Java21105028

• advanced-security/codeql-development-toolkit

  The CodeQL Development toolkit is a tool for making common CodeQL development workflows easier.

  Language:C#8292

• jsinglet/confluence-command-line

  Language:Python3210