c-cube

View JSON Representation

Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.

• Name: Simon Cruanes
• Location: washington DC
• Company: Imandra (@imandra-ai)
• Kind: user
• Followers: 435
• Following: 200
• Total stars: 2451
• Repositories count: 209
• Created at: 2022-11-03T08:04:47.818Z
• Updated at: 2025-06-25T23:15:19.928Z
• Last synced at: 2025-06-25T23:15:19.928Z

Active Sponsorships

Past Sponsorships

View All

Sponsorship Breakdown by Kind

• User: 3
• Organization: 4