c-cube user
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.
Simon Cruanes · washington DC · https://ahrefs.com/ · 466 followers · 2,557 stars · 224 repositories · joined November 2022
Active Sponsorships
aantron
Past Sponsorships
andrewrk
ziglang
syncthing
zulip
sharkdp
neovim
Sponsoring 3 users, 4 organizations · View all on GitHub
Last synced 2 days ago · View JSON representation