Search Results for "source-han" - Page 27

x
Sort By:

Showing 651 open source projects for "source-han"

View related business solutions
Information Analysis Java Clear Filters & Widen Search
  • Earn up to 16% annual interest with Nexo. Icon
    Earn up to 16% annual interest with Nexo.

    More flexibility. More control.

    Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform. Geographic restrictions, eligibility, and terms apply.
    Get started with Nexo.
  • Go from Code to Production URL in Seconds Icon
    Go from Code to Production URL in Seconds

    Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.

    Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
    Try it free
  • 1

    Knowledge Flow Checker

    KF Checker is a tool for analysing Information Flow properties.

    KF Checker infers information flow rules from source code. The rules obtained in this way are used to create a theory which it then exploited to prove that information flow policies are respected.
    Downloads: 0 This Week
    Last Update:
    See Project

Related Categories