# KCL GitHub repos [Home](https://repo.masters-masters.com/en) › [Languages](https://repo.masters-masters.com/en/languages) › [KCL](https://repo.masters-masters.com/en/languages/kcl) All 3 KCL GitHub repos in RepoMasters, the trading card game of open source, most starred first: stars, tier and card for each. ## KCL GitHub repos 3 KCL repos in the catalog, most starred first. - [runtimeverification/evm-semantics · ★ 595 · KCL · Alpha](https://repo.masters-masters.com/en/repos/runtimeverification/evm-semantics) - [upbound/platform-ref-aws · ★ 117 · KCL · Prototype](https://repo.masters-masters.com/en/repos/upbound/platform-ref-aws) - [nosuchtim/keykit · ★ 110 · KCL · Prototype](https://repo.masters-masters.com/en/repos/nosuchtim/keykit) --- Data: GitHub