Pinned Repositories
ahuoguo.github.io
My blog
clpsmt-mk-new
commalg
deadlines
fscd21
A virtual machine for four variants of delimited-control operators. Supplementary material of my FSCD 2021 submission.
human-eval-verus
lazyppl_physics
libpku
贵校课程资料民间整理
whamm
Debugging WebAssembly? Put some Whamm! on it.
verus
Verified Rust for low-level systems code
ahuoguo's Repositories
ahuoguo/clpsmt-mk-new
ahuoguo/ahuoguo.github.io
My blog
ahuoguo/commalg
ahuoguo/deadlines
ahuoguo/fscd21
A virtual machine for four variants of delimited-control operators. Supplementary material of my FSCD 2021 submission.
ahuoguo/human-eval-verus
ahuoguo/lazyppl_physics
ahuoguo/libpku
贵校课程资料民间整理
ahuoguo/libraries
ahuoguo/logic-wg
ahuoguo/miniKanren_org-website
Files for the miniKanren.org website. If you would like to update the site, please do so and send a pull request!
ahuoguo/PKUAutoSubmit
PKU一键出入校备案小工具
ahuoguo/rust-synthesis
A bottom-up synthesizer written in rust
ahuoguo/specfx
WebAssembly specification, reference interpreter, and test suite.
ahuoguo/verifyo
Experiments with writing relational verifier/synthesizer in miniKanren.
ahuoguo/verus
Verified Rust for low-level systems code
ahuoguo/virgil
A fast and lightweight native programming language
ahuoguo/whamm
ahuoguo/wizard-engine
Research WebAssembly Engine