j4cbo/stilts

SML On Stilts

GitHub repository with 37 stars and 8 forks.

Language: Standard ML

Open provider repository

Latest metric snapshot

2026-06-05: 37 stars and 8 forks.

Similar repositories

  1. 1. GoldenCheetah/GoldenCheetah

    Performance Software for Cyclists, Runners, Triathletes and Coaches

    GitHub repository with 2,144 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

  2. 2. 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

  3. 3. CakeML/cakeml

    CakeML: A Verified Implementation of ML

    GitHub repository with 1,160 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. GoldenCheetah/GoldenCheetah

    Performance Software for Cyclists, Runners, Triathletes and Coaches

    GitHub repository with 2,144 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

  2. 2. 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

  3. 3. CakeML/cakeml

    CakeML: A Verified Implementation of ML

    GitHub repository with 1,160 stars and 96 forks.

    Trending score: 0.05.

    Language: Standard ML

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