Hob Den's repositories
decaf-backend
NEO backend for Decaf. (WIP) SSA IR; DAG covering for InstrSel; better RegAlloc.
rs-raft-interactive
Interactive TLA+ style reasoning of Raft in Rust
arceos
An experimental modular OS written in Rust.
brython
Brython (Browser Python) is an implementation of Python 3 running in the browser
checkers_sosp23
The source code of static checkers for refcounting bugs.
cmdgrp
Easily create command groups like `apt` or `git`
compilerverif
(partial) proofs for https://xavierleroy.org/courses/EUTypes-2019/
dcore
Mini-microkernel in rust
IncorLogic
Formalization of O'Hearn's Incorrectness Logic in Coq.
mdverif_testcases
MiniDecaf 验证大作业的测例
multiboot-example-os
Example OS code for multiboot, built and run.
perwindow-search.vim
Allows different vim windows to have their own search patterns.
pysh
Painfree shell programming in Python
rCore-Tutorial-v3
Let's write an OS which can run on RISC-V in Rust from scratch!
RSECD-interp
Interactive interpreter, for the recursive SECD machine.
rt64
Real time OS on x64
rustc-dev-guide
A guide to how rustc works and how to contribute to it.
stupid-decaf
A stupid implementation of minidecaf (in fact smolsee)
xv6-riscv
Xv6 for RISC-V