Skip to content
View linusboyle's full-sized avatar
🎯
Focusing
🎯
Focusing
40 followers · 52 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

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 Loading

  1. uuverifiers/ostrich Public

    An SMT Solver for string constraints

    Scala 37 8

  2. dde-dock-mpd Public

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

    C++ 2 1

  3. L2CDisplay Public

    WIP display module of L2C The Verified Lustre Compiler

    Coq

  4. dotfiles Public

    my dotfiles:)

    Vim Script 1

  5. namasikanam/CertiCore Public

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

    Assembly 9 1

  6. CDrummond/cantata Public archive

    Qt5 Graphical MPD Client

    C++ 1k 183