ahuoguo's repositories
ahuoguo.github.io
💎 🐳 A super customizable Jekyll theme for personal site, team site, blog, project, documentation, etc.
Language:SCSSMIT000
Language:JavaScriptMIT000
Language:HaskellMIT000
libpku
贵校课程资料民间整理
Language:TeX000
Language:Rust000
Language:HTML000
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!
Language:HTML000
PKUAutoSubmit
PKU一键出入校备案小工具
Language:PythonApache-2.0000
rust-synthesis
A bottom-up synthesizer written in rust
Language:Rust000
verifyo
Experiments with writing relational verifier/synthesizer in miniKanren.
Language:Scheme000
verus
Verified Rust for low-level systems code
Language:RustMIT000
virgil
A fast and lightweight native programming language
Language:Shell000
Language:Rust000