A functional-first language with strong static typing and performance comparable to C.
Ahrefs
🏠 Singapore | Remote
CertiK
New York, NY, USA | Seattle, WA, USA | San Francisco, CA, USA
Imandra
Austin, TX, USA
Singapore - October 12, 2025
