bkywksj/aicoder-release

智码 AICoder 是一款轻量级桌面应用，专为 Claude Code CLI 用户打造。它提供了可视化的会话管理、终端集成和开发效率工具，让你在桌面端高效使用 Claude Code 进行 AI 辅助编程。

GitHub repository with 14 stars and 3 forks.

Language: Standard ML

Open provider repository

Latest metric snapshot

2026-06-04: 14 stars and 3 forks.

Similar repositories

  1. 1. composer/getcomposer.org

    getcomposer.org sources

    GitHub repository with 566 stars and 499 forks.

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

    Language: Standard ML

  2. 2. GoldenCheetah/GoldenCheetah

    Performance Software for Cyclists, Runners, Triathletes and Coaches

    GitHub repository with 2,143 stars and 468 forks.

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

    Language: Standard ML

    Topics: linux, macos, windows, c-plus-plus, qt, cycling

  3. 3. HOL-Theorem-Prover/HOL

    Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

    GitHub repository with 746 stars and 171 forks.

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

    Language: Standard ML

    Topics: theorem-proving, lambda-calculus, higher-order-logic

  4. 4. IBM/cloud-pak

    IBM Cloud Paks are enterprise-grade containerized software by combining container images with enterprise capabilities for deployment in production use cases with integrations for management and lifecycle operations. Features such as pre-configured deployments based on product expertise, rolling upgrades, and management of production workloads.

    GitHub repository with 145 stars and 146 forks.

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

    Language: Standard ML

  5. 5. smlnj/smlnj

    Standard ML of New Jersey

    GitHub repository with 248 stars and 21 forks.

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

    Language: Standard ML

    Topics: standard-ml, functional-programming, sml

  6. 6. CakeML/cakeml

    CakeML: A Verified Implementation of ML

    GitHub repository with 1,159 stars and 96 forks.

    Trending score: 0.05.

    Language: Standard ML

    Topics: programming-language, formal-verification, formal-semantics, compiler, theorem-proving, hol

Trending in Standard ML

  1. 1. composer/getcomposer.org

    getcomposer.org sources

    GitHub repository with 566 stars and 499 forks.

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

    Language: Standard ML

  2. 2. GoldenCheetah/GoldenCheetah

    Performance Software for Cyclists, Runners, Triathletes and Coaches

    GitHub repository with 2,143 stars and 468 forks.

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

    Language: Standard ML

    Topics: linux, macos, windows, c-plus-plus, qt, cycling

  3. 3. HOL-Theorem-Prover/HOL

    Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

    GitHub repository with 746 stars and 171 forks.

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

    Language: Standard ML

    Topics: theorem-proving, lambda-calculus, higher-order-logic

  4. 4. IBM/cloud-pak

    IBM Cloud Paks are enterprise-grade containerized software by combining container images with enterprise capabilities for deployment in production use cases with integrations for management and lifecycle operations. Features such as pre-configured deployments based on product expertise, rolling upgrades, and management of production workloads.

    GitHub repository with 145 stars and 146 forks.

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

    Language: Standard ML

  5. 5. smlnj/smlnj

    Standard ML of New Jersey

    GitHub repository with 248 stars and 21 forks.

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

    Language: Standard ML

    Topics: standard-ml, functional-programming, sml

  6. 6. CakeML/cakeml

    CakeML: A Verified Implementation of ML

    GitHub repository with 1,159 stars and 96 forks.

    Trending score: 0.05.

    Language: Standard ML

    Topics: programming-language, formal-verification, formal-semantics, compiler, theorem-proving, hol