dancewithheart/agda2scala

Scala 2 and Scala 3 backend for Agda

GitHub repository with 5 stars and 0 forks.

Language: Haskell

Topics: agda-backend

Open provider repository

Latest metric snapshot

2026-11-02: 5 stars and 0 forks.

Trending in Haskell

  1. 1. jgm/pandoc-types

    types for representing structured documents

    GitHub repository with 123 stars and 68 forks.

    Trending score: 0.02; stars gained: +0; forks gained: +0.

    Language: Haskell