linusboyle

PhD candidate @ Tsinghua University. Research on formal verification.

Tsinghua UniversityBeijing, PRC

Pinned Repositories

cantata
Qt5 Graphical MPD Client
Language:C++1k 46 1.6k184
dde-dock-mpd
Plugin of dde-dock for displaying status of and controlling Music Player Daemon(MPD)
Language:C++2 2 11
dotfiles
my dotfiles:)
Language:Vim Script1 2 00
L2CDisplay
WIP display module of L2C The Verified Lustre Compiler
Language:Coq0 2 00
linusboyle.cn
my old jekyll blog
Language:CSS2 1 1350
QMicroFluidics
Qt-based GUI Microfluidics Designer 基于Qt的微流控生物芯片设计器
Language:C++2 2 02
router-lab
造台路由器
Language:C++2 2 10
simple_pinyin_IM
trival Pinyin Input Method, hw of Tsinghua AI intro course人工智能导论拼音输入法
Language:C++2 1 00
CertiCore
An automatically formally verified page allocator, as a course project of Operating Systems, 2020 Spring, Tsinghua University
Language:Assembly9 2 01
ostrich
An SMT Solver for string constraints
Language:Scala37 4 498

linusboyle's Repositories

linusboyle/linusboyle.cn
my old jekyll blog
Language:CSS2 1 1350
linusboyle/dotfiles
my dotfiles:)
Language:Vim Script1 2 00
linusboyle/html-to-scene
A FoundryVTT module that allows embedding HTML files on scenes.
Language:JavaScript1
linusboyle/blog
Language:HTML1 0
linusboyle/blog.linusboyle
BLOG
Language:HTML0 0
linusboyle/boogie
Boogie
Language:Boogie1 0
linusboyle/bound-validate
Language:TeX2 0
linusboyle/casper_blog
Casper theme for my blog
Language:CSS2 0
linusboyle/dm
Language:TypeScript1 0
linusboyle/garden
Language:TypeScript
linusboyle/gemini-playground
Deploy a Gemini multimodal chat website in 10 seconds, Severless! 只需准备一个Gemini API Key，10秒即可部署一个Gemini多模态对话的网站。
linusboyle/hammal
docker-registry proxy run in cloudflare workers
linusboyle/imgupload
2 0
linusboyle/linusboyle.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:JavaScript1 0
linusboyle/neruron-test
just a test
Language:Markdown2 0
linusboyle/omegat-openaitrans-plugin
A machine translation plugin that can call OpenAI and Claude APIs within OmegaT
Language:Java0 0
linusboyle/openai-trans
Language:Java
linusboyle/os-snippets
code fragments related to os
Language:C2 0
linusboyle/ostrich
An SMT Solver for string constraints
Language:Scala1 0
linusboyle/proofs
Static Page with Mathematical Proofs in HTML.
Language:HTML2 0
linusboyle/ReactFlux
A Simple but Powerful RSS Reader for Miniflux
Language:JavaScript0 0
linusboyle/REKCARC-TSC-UHT
清华大学计算机系课程攻略 Guidance for courses in Department of Computer Science and Technology, Tsinghua University
Language:HTML1 0
linusboyle/rime-ipa
Rime 輸入方案集：國際音標（IPA）
0 0
linusboyle/RSSHub
🧡 Everything is RSSible
Language:TypeScript0 0
linusboyle/sandbox-tools
Language:Python1 0
linusboyle/serval
Language:Racket1 0
linusboyle/TMS_proofread
2 0
linusboyle/wiki
Language:HTML2 0
linusboyle/zotero-mdnotes
A Zotero plugin to export item metadata and notes as markdown files
Language:JavaScript1 0
linusboyle/zotify
A fast and customizable music and podcast downloader.