liyili2

Iowa State University

Pinned Repositories

VQO
Verified Compilation of Quantum Oracles
Language:OpenQASM3 1 81
c-semantics
Semantics of C in K
Language:C10
c2rust
Language:Python00
checkedc
Contributions to Microsoft's Checked C project developed by PLUMmers
Language:Coq00
checkedc-llvm-project
This repo contains a version of clang that is modified to support Checked C. Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety.
00
KtoIsabelle
K framework to Isabelle
Language:OCaml32
QSym
Language:Haskell10
checkedc
Contributions to Microsoft's Checked C project developed by PLUMmers
Language:Coq11 18 18
QAM
Quantum Abstract Machine
Language:Coq1 12 00
QNP
Quantum Natural Proof
Language:Coq3 12 03

liyili2's Repositories

liyili2/KtoIsabelle
K framework to Isabelle
Language:OCaml32
liyili2/c-semantics
Semantics of C in K
Language:C10
liyili2/QSym
Language:Haskell10
liyili2/c2rust
Language:Python00
liyili2/checkedc
Contributions to Microsoft's Checked C project developed by PLUMmers
Language:Coq00
liyili2/checkedc-llvm-project
This repo contains a version of clang that is modified to support Checked C. Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety.
00
liyili2/cs421
Language:OCaml00
liyili2/haskell-semantics
Language:Haskell00
liyili2/k-semantics
Semantics of K
Language:OCaml00
liyili2/llvm-semantics
Formal semantics of LLVM IR in K
Language:Makefile
liyili2/llvm-semantics-1
Formal semantics of LLVM IR in K
Language:Isabelle8 22
liyili2/LQafny
The LQafny Language
Language:Coq
liyili2/ocaml-semantics
Formal semantics of OCaml
Language:OCaml3 0
liyili2/qaskell_impl
Language:Coq
liyili2/qgen
Quantum Genetic Programming
Language:Python
liyili2/restoran
Language:Python1
liyili2/timed-relaxed-memory-model
Language:Isabelle