Repos by kframework

kframework / repos

33 repos

«12...4»
RepoLanguageStarsRank
kframework/c-semantics on Githubc-semanticsC3005,446
kframework/k-legacy on Githubk-legacyJava14616,558
kframework/X86-64-semantics on GithubX86-64-semanticsAssembly130353
kframework/javascript-semantics on Githubjavascript-semanticsJavaScript8255,161
kframework/llvm-semantics on Githubllvm-semanticsLLVM4249
kframework/vyper-semantics on Githubvyper-semanticsPython41114,235
kframework/solidity-semantics on Githubsolidity-semanticsShell2823,566
kframework/haskell-core-semantics on Githubhaskell-core-semanticsHaskell203,872
kframework/p4-semantics on Githubp4-semanticsP41825
kframework/java-semantics on Githubjava-semanticsJava1685,903