secure-foundations

global

Languages

12 total

Language	Repos	Stars	Global
all	25	157	196,677
Rust	3	35	11,122
WebAssembly	1	34	84
Dafny	7	34	4
OCaml	1	16	1,185
SMT	3	9	53
Haskell	1	8	4,618
Python	3	6	354,726
F#	1	5	1,332
C	1	5	97,409
Verilog	1	3	5,345
Coq	2	2	882
C++	1	0	-

Repos

25 total

Repo	Language	Stars	Rank
provably-safe-sandboxing-wasm-usenix22	WebAssembly	34	108
rWasm	Rust	26	18,802
veri-titan	Dafny	20	10
vWasm	OCaml	16	2,065
veribetrkv-osdi2020	Dafny	9	17
wasm-semantics-fuzzer	Rust	9	36,843
mariposa	SMT	9	54
owl	Haskell	8	7,620
SWISS	Python	5	534,157
everquic-dafny	C	5	120,349

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/secure-foundations"><img alt="Check out secure-foundations's profile on stardev.io" src="https://stardev.io/developers/secure-foundations/badge/languages/global.svg" /></a>

Preview

Last updated: 2024-04-19T08:44:43.071875982Z Re-sync