Pinned Repositories
anos
coq-plugin-example
a very simple coq plugin, for introduction purpose
dblpmining
homework of datamining
epmc-command-ptaxdta
gollvm
Forked from https://go.googlesource.com/gollvm, to avoid network access issues
holboost
Mediator-Proposal
pyconnectors
a python library to compose Reo connectors and render them in PRISM and JANI specification
pycoq-ml
mediator
a formal modeling tool that helps build reliable models and codes
liyi-david's Repositories
liyi-david/dblpmining
homework of datamining
liyi-david/pycoq-ml
liyi-david/coq-plugin-example
a very simple coq plugin, for introduction purpose
liyi-david/epmc-command-ptaxdta
liyi-david/gollvm
Forked from https://go.googlesource.com/gollvm, to avoid network access issues
liyi-david/Mediator-Proposal
liyi-david/pyconnectors
a python library to compose Reo connectors and render them in PRISM and JANI specification
liyi-david/holboost
liyi-david/reo-z3
liyi-david/ardupilot
ArduPlane, ArduCopter, ArduRover source
liyi-david/cita-vm
CITA VM
liyi-david/coqconn
a python library to communicate with coq through the xml-protocol
liyi-david/coquille
Interactive theorem proving with Coq in vim.
liyi-david/docker-workstation
liyi-david/DualVerif
liyi-david/faceswap
Non official project based on original /r/Deepfakes thread. Many thanks to him!
liyi-david/gofrontend
liyi-david/jani-editor
This is a graphical model editor for jani format
liyi-david/js-abstract-tree
A JavaScript library supporting UI-independent operations on json-trees
liyi-david/mlevm
liyi-david/my-docker-images
a set of scripts that help with precisely constructing docker images containing multiple packages
liyi-david/PRiME_CodeGen
PRiME Event-B Code Generation Tool
liyi-david/reo-learn
an active learning framework of Reo coordination language
liyi-david/reoincoq
liyi-david/ReoSTA
liyi-david/rust-ocaml-derive
liyi-david/shadowbroker
The Shadow Brokers "Lost In Translation" leak
liyi-david/slides
Slides for CIS 198: Rust Programming
liyi-david/vimrc
The ultimate Vim configuration: vimrc
liyi-david/XPlaneConnect
The X-Plane Communications Toolbox is a research tool used to interact with the X-Plane flight simulator