Cui Zewen's starred repositories
eth-isabelle
A Lem formalization of EVM and some Isabelle/HOL proofs
coq-irrat2
Proof that sqrt(2) is irrational in Coq.
learn-programming-languages
Resources for the working programmer to learn more about the fundamentals and theory of programming languages.
nice-parser
Nice parsers in OCaml without the boilerplate
awesome-ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
http-parser
http request/response parser for c
tapl-scala
Code from the book "Types and Programming Languages" in Scala
rsp3-armv8-baremetal-tutorial
基于树莓派3构建一个操作系统的系列教程
larva-lang
The larva programming Language
verifast-exercises
[WIP] My solutions for Verifast tutorial exercises
verifast-frama-c
C algorithms verified with frama-c and verifast
verifast-play
Experiments in using VeriFast verification tool