A purely functional language with strong static typing and lazy evaluation.
Anduril Industries
Costa Mesa, CA, USA
CertiK
New York, NY, USA | Seattle, WA, USA | San Francisco, CA, USA
Boulder, CO, USA - May 10, 2025
Rapperswil, Switzerland - June 7, 2025
KrakΓ³w, Poland - June 12, 2025