Hoblovski/course-notes
Personal course notes (in Chinese) for THU CST.
Compilers. OS kerns. Formal verif. Prog analyses. LLM apps. Infra. All the shit I do. Knows quite a bit about C.
Repositories
Hoblovski/GPU-Puzzles
Solve puzzles. Learn CUDA.
Hoblovski/mnist-dits
Diffusion Transformers (DiTs) trained on MNIST dataset
Hoblovski/microgpt
Hoblovski/rcf
Hoblovski/claude-code
Claude Code Snapshot for Research. All original source code is the property of Anthropic.
Hoblovski/abcoder
deep, reliable and confidential coding-context
Hoblovski/font
系统缺失字体导致无法显示中文和乱码的解决办法
Hoblovski/RSECD-interp
Interactive interpreter, for the recursive SECD machine.
Hoblovski/MiniML
Self-made functional compiler for fun. Uses SECD as intermediate language.
Hoblovski/miniml-rs
MiniML reimplemented in Rust. Self-made functional compiler for fun.
Hoblovski/rCore-Tutorial-Guide
Lab manual for the rCore labs of Tsinghua University's Operating System course.
Hoblovski/ask-rcore
基于 claude skills 的 rcore os 问答系统
Hoblovski/jedi
Awesome autocompletion, static analysis and refactoring library for python
Hoblovski/PyLSP-example
Example on how to use LSP
Hoblovski/mylibs
Hoblovski/rust
Empowering everyone to build reliable and efficient software.
Hoblovski/Agentless
Agentless🐱: an agentless approach to automatically solve software development problems
Hoblovski/python-lsp-server
Fork of the python-language-server project, maintained by the Spyder IDE team and the community
Hoblovski/gcp
go clang parse
Hoblovski/perwindow-search.vim
Allows different vim windows to have their own search patterns.
Hoblovski/rs-raft-interactive
Interactive TLA+ style reasoning of Raft in Rust
Hoblovski/arceos
An experimental modular OS written in Rust.
Hoblovski/IncorLogic
Formalization of O'Hearn's Incorrectness Logic in Coq.
Hoblovski/chisel-template
A template project for beginning new Chisel work
Hoblovski/screenshot-pin
Select a region on the screen and pin it on top of all other windows. For windows.
Hoblovski/xv6-x64
64bit port of xv6
Hoblovski/riscv-prebuilt-toolchains
Prebuilt RISC-V Toolchains
Hoblovski/OS2018spring-projects-g02
清华大学操作系统大作业: 针对一个极简 ISA 实现 cpu 和编译器, 并且适配一个极简 kernel
Hoblovski/checkers_sosp23
The source code of static checkers for refcounting bugs.