gravatar for secure-foundations

secure-foundations secure-foundations on Github

global

Languages

12 total

LanguageReposStarsGlobal
all25115208,980
Dafny7323
WebAssembly12981
Rust32012,122
SMT3847
Haskell164,899
OCaml151,930
Python34406,171
C14100,474
Verilog134,565
F#131,590
Coq211,146
C++10-

Repos

25 total

RepoLanguageStarsRank
secure-foundations/provably-safe-sandboxing-wasm-usenix22 on Githubprovably-safe-sandboxing-wasm-usenix22WebAssembly29102
secure-foundations/veri-titan on Githubveri-titanDafny196
secure-foundations/rWasm on GithubrWasmRust1421,575
secure-foundations/veribetrkv-osdi2020 on Githubveribetrkv-osdi2020Dafny810
secure-foundations/mariposa on GithubmariposaSMT847
secure-foundations/wasm-semantics-fuzzer on Githubwasm-semantics-fuzzerRust636,872
secure-foundations/owl on GithubowlHaskell67,967
secure-foundations/vWasm on GithubvWasmOCaml53,939
secure-foundations/SWISS on GithubSWISSPython4517,475
secure-foundations/everquic-dafny on Githubeverquic-dafnyC4119,367

Badges

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

Global

Global

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

Preview

Last updated: 2023-12-07T02:34:55.880955629Z Re-sync