banacorn/agda-mode-vscode

agda-mode on VS Code

GitHub repository with 185 stars and 45 forks.

Language: ReScript

Open provider repository

Latest metric snapshot

2026-06-08: 185 stars and 45 forks.

Similar repositories

  1. 1. frontman-ai/frontman

    The AI agent that lives in your framework/browser

    GitHub repository with 585 stars and 32 forks.

    Trending score: 1.14; stars gained: +2; forks gained: +0.

    Language: ReScript

    Topics: agent, llm, ai, ai-agent, ai-coding, artificial-intelligence

  2. 2. enviodev/hyperindex

    🚢 Ultra-Fast Multichain Indexer

    GitHub repository with 526 stars and 50 forks.

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

    Language: ReScript

    Topics: blockchain, dapp, data, envio, evm, framework

  3. 3. adeleempurpled290/FPGA-Agent-skills

    Streamline FPGA development with 8 Vivado/Vitis skills for HLS, RTL, synthesis, constraints, timing, and debug workflows

    GitHub repository with 16 stars and 5 forks.

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

    Language: ReScript

    Topics: accept-language, browser, cos, flutter, fpga, gin

  4. 4. juspay/rescript-bindgen

    GitHub repository with 7 stars and 0 forks.

    Trending score: 0.40; stars gained: +1; forks gained: +0.

    Language: ReScript

  5. 5. juspay/hyperswitch-control-center

    Open sourced control center for managing Hyperswitch - an open sourced payment switch.

    GitHub repository with 81 stars and 93 forks.

    Trending score: 0.20; stars gained: +0; forks gained: +1.

    Language: ReScript

    Topics: hacktoberfest, rescript

Trending in ReScript

  1. 1. frontman-ai/frontman

    The AI agent that lives in your framework/browser

    GitHub repository with 585 stars and 32 forks.

    Trending score: 1.14; stars gained: +2; forks gained: +0.

    Language: ReScript

    Topics: agent, llm, ai, ai-agent, ai-coding, artificial-intelligence

  2. 2. enviodev/hyperindex

    🚢 Ultra-Fast Multichain Indexer

    GitHub repository with 526 stars and 50 forks.

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

    Language: ReScript

    Topics: blockchain, dapp, data, envio, evm, framework

  3. 3. adeleempurpled290/FPGA-Agent-skills

    Streamline FPGA development with 8 Vivado/Vitis skills for HLS, RTL, synthesis, constraints, timing, and debug workflows

    GitHub repository with 16 stars and 5 forks.

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

    Language: ReScript

    Topics: accept-language, browser, cos, flutter, fpga, gin

  4. 4. juspay/rescript-bindgen

    GitHub repository with 7 stars and 0 forks.

    Trending score: 0.40; stars gained: +1; forks gained: +0.

    Language: ReScript

  5. 5. juspay/hyperswitch-control-center

    Open sourced control center for managing Hyperswitch - an open sourced payment switch.

    GitHub repository with 81 stars and 93 forks.

    Trending score: 0.20; stars gained: +0; forks gained: +1.

    Language: ReScript

    Topics: hacktoberfest, rescript