agda-backend

Here are 5 public repositories matching this topic...

A work-in-progress core language for Agda, in Agda

dependent-types agda type-checker agda-backend core-language

LLVM Backend for Agda (BSc thesis)

An Implementation of Various Linear Logics in Agda

Notes about "An introduction to Finite Group Representation Theory using Agda"

tex agda representation-theory agda-backend agda-mode agda-library calp

Scala 2 and Scala 3 backend for Agda

agda-backend

To associate your repository with the agda-backend topic, visit your repo's landing page and select "manage topics."