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: 424
• Following: 199
• Total stars: 2432
• Repositories count: 209
• Created at: 2022-11-03T08:04:47.818Z
• Updated at: 2025-05-08T00:46:06.283Z
• Last synced at: 2025-05-08T00:46:06.282Z

Active Sponsorships

Past Sponsorships

View All

Sponsorship Breakdown by Kind

• User: 3
• Organization: 4