GitHub repository: AutomataTutor/automatatutor-frontend
Primary language: Scala
Description: Scala+lift frontend for automatatutor.com