6 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
python-agda-kernel 0.64-3 0 0.00 A rudimentary Jupyter kernel for Agda dringsim 2023-09-10 03:23 (UTC)
haskell-agda-language-server 0.2.1-22 1 0.00 An implementation of language server protocal (LSP) for Agda 2. phijor 2022-08-21 15:11 (UTC)
agda-git 2.5.1.r8151.g4108da695-1 3 0.00 A dependently typed functional programming language and proof assistant: development version johngowers 2020-11-12 20:31 (UTC)
agda-cubical 0.2-1 0 0.00 An experimental library for Cubical Agda orphan 2020-11-11 11:07 (UTC)
agda-categories 0.1.4-1 0 0.00 A new Categories library for Agda berberman 2020-11-11 11:06 (UTC)
agda-bin-git 2.6.2.98d4eb0-1 0 0.00 A dependently typed functional programming language and proof assistant: development version LightQuantum 2021-05-13 08:41 (UTC)

6 packages found. Page 1 of 1.