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
Galois, Inc.
Portland, OR, USA | Arlington, VA, USA | Dayton, OH, USA | Minneapolis, MN, USA
Boulder, CO, USA - May 10, 2025
Rapperswil, Switzerland - June 7, 2025
Kraków, Poland - June 12, 2025
