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: 420
• Following: 197
• Total stars: 2410
• Repositories count: 209
• Created at: 2022-11-03T08:04:47.818Z
• Updated at: 2025-03-25T03:52:06.795Z
• Last synced at: 2025-03-25T03:52:06.795Z

Active Sponsorships

Past Sponsorships

View All

Sponsorship Breakdown by Kind

• User: 3
• Organization: 4