8000 GitHub - achlipala/upo_mit: UPO extensions for MIT · GitHub

Repository navigation

upo_mit

Public

About

UPO extensions for MIT

4 stars

2 watching

Report repository

Name		Name	Last commit message	Last commit date
examples		examples
.gitignore		.gitignore
README.md		README.md
fall2025.ur		fall2025.ur
fall2025.urp		fall2025.urp
fall2025.urs		fall2025.urs
lib.urp		lib.urp
mitAlternateGrades.ur		mitAlternateGrades.ur
mitAlternateGrades.urs		mitAlternateGrades.urs
mitCert.ur		mitCert.ur
mitCert.urs		mitCert.urs
mitGrades.ur		mitGrades.ur
mitGrades.urs		mitGrades.urs
mitGradesGeneric.ur		mitGradesGeneric.ur
mitGradesGeneric.urs		mitGradesGeneric.urs
semester.ur		semester.ur
semester.urs		semester.urs
spring2016.ur		spring2016.ur
spring2016.urp		spring2016.urp
spring2016.urs		spring2016.urs
spring2017.ur		spring2017.ur
spring2017.urp		spring2017.urp
spring2017.urs		spring2017.urs
spring2018.ur		spring2018.ur
spring2018.urp		spring2018.urp
spring2018.urs		spring2018.urs
spring2020.ur		spring2020.ur
spring2020.urp		spring2020.urp
spring2020.urs		spring2020.urs
spring2021.ur		spring2021.ur
spring2021.urp		spring2021.urp
spring2021.urs		spring2021.urs
spring2022.ur		spring2022.ur
spring2022.urp		spring2022.urp
spring2022.urs		spring2022.urs
spring2023.ur		spring2023.ur
spring2023.urp		spring2023.urp
spring2023.urs		spring2023.urs
webSIS.ur		webSIS.ur
webSIS.urs		webSIS.urs

Repository files navigation

The Ur/Web People Organizer -- library for MIT

This library provides MIT-specific extensions to the UPO library.

About

UPO extensions for MIT

4 stars

2 watching

Report repository

Releases

Packages

Contributors

Languages

0