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

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

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

Makes LaTeX editing less painful by providing a updatable preview pane

A textbook on informal homotopy type theory