Explore projects
-
Information and Computing Sciences / ICT-ICS / grader-haskell
GNU Affero General Public License v3.0Docker image for grading Haskell assignments in Prairielearn
Updated -
Hol,S. (Simon) / PACE2024 heuristic submission
Creative Commons Attribution 4.0 InternationalUpdated -
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
-
9703243 / SOACprojects
MIT LicenseUpdated -
Arjan Adriaanse / mcpd-ad
GNU General Public License v3.0 onlyUpdated -
Information and Computing Sciences / ICT-ICS / Rustlibs / Ranking
GNU Affero General Public License v3.0Updated -
Updated
-
Knoope, D.A.S. (Daan) / NBC-Discretization
MIT LicenseCode for research project on discretization.
Updated