kframework

global

Languages

18 total

Language	Repos	Stars	Global
all	33	916	53,899
C	1	305	5,930
Java	4	170	13,497
Assembly	1	137	404
JavaScript	1	85	46,846
Python	3	57	82,978
LLVM	1	44	65
Haskell	2	31	2,160
Shell	1	29	23,149
P4	1	18	39
SMT	1	15	42
unknown	10	8	185,413
Boogie	1	5	4
Csound	1	4	10
Scala	1	4	10,600
Standard ML	1	3	423
Rust	1	1	92,286
WebAssembly	1	0	-
Makefile	1	0	-

Repos

33 total

Repo	Language	Stars	Rank
c-semantics	C	305	6,164
k-legacy	Java	146	18,240
X86-64-semantics	Assembly	137	386
javascript-semantics	JavaScript	85	57,784
llvm-semantics	LLVM	44	67
vyper-semantics	Python	41	133,550
solidity-semantics	Shell	29	25,986
haskell-core-semantics	Haskell	20	4,111
java-semantics	Java	19	82,467
p4-semantics	P4	18	35

Badges

Get your badge to use on GitHub or websites using the code below

Global

Displays global rankings for all languages plus top two languages by stars

<a href="https://stardev.io/developers/kframework"><img alt="Check out kframework's profile on stardev.io" src="https://stardev.io/developers/kframework/badge/languages/global.svg" /></a>

Preview

Last updated: 2024-10-21T08:40:10.057692640Z Re-sync