Projects

• Mālie: An AI therapist, designed to provide relief from anxiety symptoms wherever you are — Mar. 6th, 2024
• Proofity: An automated proof checker for natural deduction with type-checking. — May 7th, 2023
• Bookworm: Annotate your favorite reads without the hassle of using highlighters and sticky-notes — July 3rd, 2022