Skip to content
View linusboyle's full-sized avatar
🎯
Focusing
🎯
Focusing
Block or Report

Block or report linusboyle

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. uuverifiers/ostrich uuverifiers/ostrich Public

    An SMT Solver for string constraints

    Scala 30 9

  2. linusboyle.cn linusboyle.cn Public

    my old jekyll blog

    CSS 2

  3. dde-dock-mpd dde-dock-mpd Public

    Plugin of dde-dock for displaying status of and controlling Music Player Daemon(MPD)

    C++ 2 1

  4. L2CDisplay L2CDisplay Public

    WIP display module of L2C The Verified Lustre Compiler

    Coq

  5. dotfiles dotfiles Public

    my dotfiles:)

    Vim Script 2

  6. namasikanam/CertiCore namasikanam/CertiCore Public

    An automatically formally verified page allocator, as a course project of Operating Systems, 2020 Spring, Tsinghua University

    Assembly 9 1