carlpaten
Fascinated by programming languages and formal methods. Coq, Rust, TypeScript, F#.
- Name: Carl Patenaude-Poulin
- Location: Montreal, QC
- Company: Starburst
- Kind: user
- Followers: 21
- Following: 5
- Total stars: 3
- Repositories count: 68
- Created at: 2022-11-04T11:09:18.613Z
- Updated at: 2025-03-29T05:48:58.449Z
- Last synced at: 2025-03-29T05:48:58.443Z
Past Sponsorships
View AllSponsorship Breakdown by Kind
- User: 2