KCL GitHub repos
3 KCL repos in the catalog, most starred first.
- runtimeverification/evm-semanticsStars: 595KCLAlpha
- upbound/platform-ref-awsStars: 117KCLPrototype
- nosuchtim/keykitStars: 110KCLPrototype
3 KCL repos in the catalog, most starred first.