Giters
Liyi Li (liyili2)

liyili2

Geek Repo

4

followers

1

following

0

stars

Company:UIUC

Github PK Tool:Github PK Tool

Liyi Li's repositories

KtoIsabelle

K framework to Isabelle

Language:OCamlLicense:NOASSERTIONStargazers:3Issues:0Issues:0

c-semantics

Semantics of C in K

Language:CLicense:NOASSERTIONStargazers:1Issues:0Issues:0

checkedc

Contributions to Microsoft's Checked C project developed by PLUMmers

Language:CoqStargazers:0Issues:0Issues:0

cs421

Language:OCamlStargazers:0Issues:0Issues:0

haskell-semantics

Language:HaskellStargazers:0Issues:0Issues:0

k-semantics

Semantics of K

Language:OCamlStargazers:0Issues:0Issues:0

llvm-semantics

Formal semantics of LLVM IR in K

Language:MakefileLicense:NOASSERTIONStargazers:0Issues:0Issues:0

llvm-semantics-1

Formal semantics of LLVM IR in K

Language:IsabelleStargazers:0Issues:8Issues:2

LQafny

The LQafny Language

Language:CoqStargazers:0Issues:0Issues:0

ocaml-semantics

Formal semantics of OCaml

Language:OCamlLicense:MITStargazers:0Issues:0Issues:0

restoran

Language:PythonStargazers:0Issues:0Issues:0

timed-relaxed-memory-model

Language:IsabelleStargazers:0Issues:0Issues:0