.editorconfig .gitattributes .gitignore LICENSE Makefile README.md config.go confirm.go course_types_groups.go courses.go database.go docs/ endpoint_auth.go endpoint_export_choices.go endpoint_export_students.go endpoint_index.go endpoint_newcourses.go endpoint_state.go endpoint_ws.go errors.go frontend/ go.mod go.sum iadocs/ main.go misc_utils.go scripts/ session.go sethandler.go sql/ state.go templates/ usem.go ws_connection.go ws_utils.go wsmsg_choose.go wsmsg_confirm.go wsmsg_hello.go wsmsg_unchoose.go wsmsg_unconfirm.go