Search

@team-affix/apm-server

tRPC server for Agda Package Manager

v1.3.12 URL: https://unpkg.com/@team-affix/apm-server@1.3.12/dist/src/index.js

OpenBrowse Files

trpcagdapackage-managertypescript

agda-web-docs-lib

Library for enhancing Agda-generated HTML documentation

v1.0.2 URL: https://unpkg.com/agda-web-docs-lib@1.0.2/dist/index.js

OpenBrowse Files

agdadocumentationhtmlrendererformal-verificationformal-methods

agda-parametricity

Deriving parametricity results in Agda: "theorems for free"

v0.0.3 URL: https://unpkg.com/agda-parametricity@0.0.3/agda-parametricity.agda

OpenBrowse Files

agdaparametricityderivingtheorems-for-free

agda-check

A command-line tool to check Agda files and goals

v1.1.1 URL: https://unpkg.com/agda-check@1.1.1/agda-check.js

OpenBrowse Files

agdacheckcli

agda-cli

A command-line tool to perform Agda commands like checking, running, and compiling

v1.0.3 URL: https://unpkg.com/agda-cli@1.0.3/agda-cli.js

OpenBrowse Files

agdacheckclicompilejavascript