khieta

Kesha Hietala's starred repositories

Implementation of the Cedar Policy Language

Language:RustApache-2.0776 15 290

Randomized Property-Based Testing Plugin for Coq

Language:CoqNOASSERTION246 17 174

Full-stack quantum processing toolkit

Language:OpenQASMMIT152 14 46

A Small Quantum Intermediate Representation

Language:CoqMIT77 9 14

Definitional implementation of Cedar language and utilities for DRT

Language:LeanApache-2.074 8 59

A template for University of Maryland dissertations

Language:TeXApache-2.026 30

Coq library for reasoning about quantum programs

Language:CoqNOASSERTION25 5 13

Apache-2.09 13 4

A Quantum Programming Languages and Verification Literature Bibliography

Language:TeXMIT8 1 10

OCaml library for manipulating OpenQASM Abstract Syntax Tree

Language:OCamlMIT7 4 1

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

Language:CoqMIT7 3 1

Language:F*MIT500

Example Q# programs

Language:Q#MIT100

Asymptotic Upper Bound of Euler Totient Function φ

Language:Coq1 40