TopGit
GITHUB ORGANIZATION

kframework — GitHub organization

kframework has 1.0k stars across their public GitHub repositories, ranking #9981 globally among GitHub organizations.

Global rank#9981
Total stars1.0k
Public repositories36
View on GitHub ↗

Top repositories

c-semantics★ 329X86-64-semantics★ 179k-legacy★ 148javascript-semantics★ 104llvm-semantics★ 51vyper-semantics★ 41solidity-semantics★ 29p4-semantics★ 20haskell-core-semantics★ 20java-semantics★ 20

How many GitHub stars does kframework have?

kframework has 1.0k stars across their public repositories, ranking #9981 globally.

What is kframework's most-starred repository?

Their most-starred public repository is c-semantics, with 329 stars.

Is kframework an individual or an organization?

This is a GitHub organization account.

See our methodology for how this ranking is calculated.

← Back to Organizations ranking