A tool for proving and organizing general theorems using Python.

CTADL is a flexible static taint analysis tool

RFCs for Cedar

Implementation of the Cedar Policy Language

Definitional implementation of Cedar language and utilities for DRT

A Small Quantum Intermediate Representation

Example Q# programs

Formalization of λ-Q#, a core calculus for Q# programming language

A template for University of Maryland dissertations

Full-stack quantum processing toolkit

A Quantum Programming Languages and Verification Literature Bibliography

Coq library for reasoning about quantum programs

Asymptotic Upper Bound of Euler Totient Function φ

OCaml library for manipulating OpenQASM Abstract Syntax Tree

Randomized Property-Based Testing Plugin for Coq