Explore projects
-
Jeuring, J.T. (Johan) / Greek Text Conversion
BSD 3-Clause "New" or "Revised" LicenseUpdatedUpdated -
GraphPolaris / Microservices / llm-service
MIT LicenseUpdated -
-
Updated
-
Updated
-
Information and Computing Sciences / ICT-ICS / grader-haskell
GNU Affero General Public License v3.0Docker image for grading Haskell assignments in Prairielearn
Updated -
-
martijn / accelerate-io
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Updated
-
This is a mirror of https://github.com/tomsmeding/efficient-chad-agda on UU-owned storage. This is the artifact for https://arxiv.org/abs/2307.05738 , submitted to POPL 2024.
Updated -
Updated
-
Updated