Skip to content
@asdf-community

asdf-community

A collaborative, community-driven project for the long-term maintenance of asdf plugins.
README.md

Welcome to the asdf-community organisation!

What is the asdf-community?

asdf-community is a collaborative, community-driven project for the long-term maintenance of asdf plugins. (This organisation is inspired by a coq-community project with a similar name.)

Who runs this GitHub organisation?

This organisation is run by volunteers, including core members and outside collaborators of asdf-vm, plugin authors, and maintainers.

How do I move plugins here?

Consult the GUIDELINES.md page to move the plugin to the organisation.

Pinned Loading

  1. .github .github Public

    asdf-community meta repository [maintainer=@smorimoto]

    15 2

  2. infrastructure infrastructure Public

    Infrastructure configuration files [maintainer=@smorimoto]

    HCL 19 49

Repositories

Showing 10 of 92 repositories
  • asdf-nim Public

    Nim plugin for the asdf version manager [maintainer=@elijahr]

    asdf-community/asdf-nim’s past year of commit activity
    Shell 24 Apache-2.0 10 1 1 Updated Mar 22, 2025
  • infrastructure Public

    Infrastructure configuration files [maintainer=@smorimoto]

    asdf-community/infrastructure’s past year of commit activity
    HCL 19 ISC 49 1 18 Updated Mar 19, 2025
  • asdf-kotlin Public

    Kotlin plugin for the asdf version manager [maintainer=@missingcharacter]

    asdf-community/asdf-kotlin’s past year of commit activity
    Shell 42 MIT 5 2 0 Updated Mar 19, 2025
  • asdf-pdm Public

    PDM plugin for the asdf version manager [maintainer=@1oglop1]

    asdf-community/asdf-pdm’s past year of commit activity
    Shell 10 0 1 0 Updated Mar 17, 2025
  • asdf-haskell Public

    Haskell plugin for the asdf version manager [maintainer=LOOKING FOR A MAINTAINER! SUBMIT A PULL REQUEST TO THE INFRASTRUCTURE REPOSITORY!]

    asdf-community/asdf-haskell’s past year of commit activity
    Shell 61 14 8 (1 issue needs help) 3 Updated Mar 14, 2025
  • asdf-lean Public

    Lean plugin for the asdf version manager [maintainer=LOOKING FOR A MAINTAINER! SUBMIT A PULL REQUEST TO THE INFRASTRUCTURE REPOSITORY!]

    asdf-community/asdf-lean’s past year of commit activity
    Shell 7 Apache-2.0 5 0 4 Updated Mar 15, 2025
  • asdf-lfe Public

    LFE plugin for the asdf version manager [maintainer=LOOKING FOR A MAINTAINER! SUBMIT A PULL REQUEST TO THE INFRASTRUCTURE REPOSITORY!]

    asdf-community/asdf-lfe’s past year of commit activity
    Shell 8 2 1 3 Updated Mar 14, 2025
  • asdf-mlton Public

    MLton plugin for the asdf version manager [maintainer=LOOKING FOR A MAINTAINER! SUBMIT A PULL REQUEST TO THE INFRASTRUCTURE REPOSITORY!]

    asdf-community/asdf-mlton’s past year of commit activity
    Shell 6 Apache-2.0 4 1 0 Updated Mar 14, 2025
  • asdf-fstar Public

    FStar plugin for the asdf version manager [maintainer=LOOKING FOR A MAINTAINER! SUBMIT A PULL REQUEST TO THE INFRASTRUCTURE REPOSITORY!]

    asdf-community/asdf-fstar’s past year of commit activity
    Shell 3 Apache-2.0 2 0 2 Updated Mar 15, 2025
  • asdf-haxe Public

    Haxe plugin for the asdf version manager [maintainer=LOOKING FOR A MAINTAINER! SUBMIT A PULL REQUEST TO THE INFRASTRUCTURE REPOSITORY!]

    asdf-community/asdf-haxe’s past year of commit activity
    Shell 15 Apache-2.0 6 4 (1 issue needs help) 0 Updated Mar 14, 2025
View all repositories

Top languages

Shell HCL

Most used topics

asdf asdf-plugin