Skip to content
View realprocrastinator's full-sized avatar
🤪
Overclocking!
🤪
Overclocking!
44 followers · 207 following
  • Xiaomi
  • Shanghai

Achievements

Achievement: QuickdrawAchievement: Pull Shark

Achievements

Achievement: QuickdrawAchievement: Pull Shark

Block or report realprocrastinator

Report abuse

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

Report abuse
realprocrastinator/README.md

Hi there 👋

Pinned Loading

  1. seL4 seL4 Public

    Forked from seL4/seL4

    The seL4 microkernel

    C 1

  2. seL4emu-src seL4emu-src Public

    Emulating the seL4 system on Linux

    C 1

  3. incubator-nuttx incubator-nuttx Public

    Forked from apache/nuttx

    Apache NuttX is a mature, real-time embedded operating system (RTOS)

    C

  4. libdatachannel libdatachannel Public

    Forked from paullouisageneau/libdatachannel

    C/C++ WebRTC network library featuring Data Channels, Media Transport, and WebSockets

    C++

  5. ez-patch ez-patch Public

    A simple tool for managing, collecting and applying your patches in a much more convinient way

    Python