GitHub repository: xubaiw/Socket.lean
Primary language: C
Description: A toy implementation of socket programming for Lean 4.