# Dépôts KCL [Accueil](https://repo.masters-masters.com/) › [Langages](https://repo.masters-masters.com/languages) › [KCL](https://repo.masters-masters.com/languages/kcl) Les 3 dépôts KCL open source de RepoMasters, du plus étoilé au moins étoilé : étoiles GitHub, rang et carte à collectionner de chacun. ## Dépôts KCL 3 dépôts KCL au catalogue, du plus étoilé au moins étoilé. - [runtimeverification/evm-semantics · ★ 595 · KCL · Alpha](https://repo.masters-masters.com/repos/runtimeverification/evm-semantics) - [upbound/platform-ref-aws · ★ 117 · KCL · Prototype](https://repo.masters-masters.com/repos/upbound/platform-ref-aws) - [nosuchtim/keykit · ★ 110 · KCL · Prototype](https://repo.masters-masters.com/repos/nosuchtim/keykit) --- Données : GitHub