Skip to content
View rdevshp's full-sized avatar

Achievements

Achievement: Pull SharkAchievement: Quickdraw

Achievements

Achievement: Pull SharkAchievement: Quickdraw

Block or report rdevshp

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. c_operational_semantics_lean4 c_operational_semantics_lean4 Public

    A Lean 4 port of the CompCert C front-end operational semantics.

    Lean 1

  2. mpv mpv Public

    Forked from mpv-player/mpv

    🎥 Command line video player

    C

  3. firewall4 firewall4 Public

    Forked from openwrt/firewall4

    [MIRROR] OpenWrt nftables firewall

    UnrealScript

  4. grapheneos.org grapheneos.org Public

    Forked from GrapheneOS/grapheneos.org

    Servers for our website, HTTP/HTTPS connectivity checks, HTTPS network time, NTP (for Qualcomm XTRA), Broadcom PSDS cache, Samsung PSDS cache, Qualcomm PSDS (XTRA) cache, SUPL proxy, attestation ke…

    HTML

  5. apps.grapheneos.org apps.grapheneos.org Public

    Forked from GrapheneOS/apps.grapheneos.org

    Application repository

    Python

  6. hardened_malloc hardened_malloc Public

    Forked from GrapheneOS/hardened_malloc

    Hardened allocator designed for modern systems. It has integration into Android's Bionic libc and can be used externally with musl and glibc as a dynamic library for use on other Linux-based platfo…

    C