iPatrickReynolds
Self-taught computer scientist exploring math and logic with small and large code adventures
iPatrickReynolds's Stars
agda/agda-language-server
Language Server for Agda
webrtc-rs/webrtc
A pure Rust implementation of WebRTC
Self-taught computer scientist exploring math and logic with small and large code adventures
Language Server for Agda
A pure Rust implementation of WebRTC