Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with agda-backend

A curated list of projects in awesome lists tagged with agda-backend .

https://github.com/jespercockx/agda-core

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

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

Last synced: 10 Dec 2024

https://github.com/juniors90/calp-beamer

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

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

Last synced: 14 Dec 2024