linusboyle

dotfiles

my dotfiles:)

linusboyle.cn

my old jekyll blog

router-lab

造台路由器

Viminal

Personal Vim Configuration

packages

my third party vim packages configuration

L2CDisplay

WIP display module of L2C The Verified Lustre Compiler

blog

boogie

Boogie

bound-validate

casper_blog

Casper theme for my blog

codmips

coq_snippets

fragmentary proofs

imgupload

libsgt

sgt(synchronous graphics toolkit) is a minimal gui toolkit especially designed for the LDisplay compiler

linusboyle.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

neruron-test

just a test

os-snippets

code fragments related to os

ostrich

An SMT Solver for string constraints

proofs

Static Page with Mathematical Proofs in HTML.

REKCARC-TSC-UHT

清华大学计算机系课程攻略 Guidance for courses in Department of Computer Science and Technology, Tsinghua University

rime-ipa

Rime 輸入方案集：國際音標（IPA）

riscv64-ucore

public repository for 2020 operating system course project "riscv64-ucore"

RSSHub

🍰 Everything is RSSible

serval

TMS_proofread

TranslateProject

Linux**翻译项目

ucore_os_lab

https://chyyuu.gitbooks.io/ucore_os_docs/content

velus

A Lustre compiler in Coq

wiki

zotero-mdnotes

A Zotero plugin to export item metadata and notes as markdown files