@hackage Agda dependents

7 results

@hackage/agda-language-server
An implementation of language server protocal (LSP) for Agda 2.
MITv0.2.6.3.0
@hackage/agda-unused
Check for unused code in an Agda project.
MITv0.3.0
@hackage/agda2hs
Compiling Agda code to readable Haskell.
BSD-3-Clausev1.2
@hackage/agda2train
Agda backend to generate training data for machine learning purposes.
BSD-3-Clausev0.0.3.0
@hackage/blagda
Shake frontend for Agda blogging
AGPL-3.0-onlyv0.1.0.1
@hackage/hakyll-agda
Wrapper to integrate literate Agda files with Hakyll
BSD-3-Clausev0.1.13
@hackage/proof-assistant-bot
Telegram bot for proof assistants
MITv0.2.2