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 2

2. rust_oop_c3mro rust_oop_c3mro Public

   Rust 1

3. c_verif_seplogic_lean4 c_verif_seplogic_lean4 Public

   An experimental Lean 4 separation logic formal verification library for C programs

   Lean 1

4. mpv mpv Public

   Forked from mpv-player/mpv

   🎥 Command line video player

   C

5. firewall4 firewall4 Public

   Forked from openwrt/firewall4

   [MIRROR] OpenWrt nftables firewall

   UnrealScript

6. 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