A list of programming languages conference dates and deadlines

Proof assistant for LF signatures

Mobile application to help users connect with mental health resources