@hackage Agda dependents

14 results

@hackage/Agda-executable
Command-line program for type-checking and compiling Agda programs
LicenseRef-OtherLicensev2.3.0.1
@hackage/PandocAgda
Pandoc support for literate Agda
BSD-3-Clausev2.3.3.0.2
@hackage/acme-everything
Install everything.
LicenseRef-PublicDomainv2018.11.18
@hackage/activehs
Haskell code presentation tool
BSD-3-Clausev0.3.2
@hackage/agda-language-server
An implementation of language server protocal (LSP) for Agda 2.
MITv0.2.6.3.0
@hackage/agda-server
Http server for Agda (prototype)
BSD-3-Clausev0.1.1
@hackage/agda-snippets
Render just the Agda snippets of a literate Agda file to HTML
BSD-3-Clausev2.5.2
@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.3
@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/lhs2TeX-hl
Literate highlighter preprocessor for lhs2tex
MITv0.1.4.5
@hackage/proof-assistant-bot
Telegram bot for proof assistants
MITv0.2.2