Explore projects
-
impresshs / javawlp
GNU General Public License v3.0 onlyUpdated -
Updated
-
Emma :3 / INFOFP - Game Project
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Emma :3 / INFOFP - 2024-2025 - Game Project
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
Updated
-
Pim Hutting / haskell game
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Alejandro Serrano Mena / ghc-invariant
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Alejandro Serrano Mena / ghc
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
-
Weyne,J. (Jasper) / FP-Assignment5
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Edwin / FP Asteroids
BSD 3-Clause "New" or "Revised" LicenseUpdated -
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 -