Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

hackage.haskell.org : agda2lagda

Simple command line tool to convert plain Agda or Haskell files into literate files. Line comments are interpreted as text, the rest as code blocks.

Registry - Source - JSON
purl: pkg:hackage/agda2lagda
Keywords: dependent-types, development, program, agda, command-line-tool, latex, literate-programming
License: Other
Latest release: 11 months ago
First release: over 3 years ago
Dependent repositories: 7
Downloads: 674 total
Stars: 13 on GitHub
Forks: 0 on GitHub
Total Commits: 77
Committers: 1
Average commits per author: 77.0
Development Distribution Score (DDS): 0.0
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 22 days ago

    Loading...
    Readme
    Loading...