1.rod-chapman / SPARKNaClSPARK 2014 re-implementation of the TweetNaCl crypto libraryAdaBSD-3-CLAUSE141 total15 forks+2 starsfrom 139 · score 1.10
2.godunko / adawebpackAda WASM Runtime and Bindings for Web APIwasmgnat-llvmada-runtimeada-wasm-runtimeadaAdaBSD-3-CLAUSE86 total10 forks+1 starsfrom 85 · score 0.69