1.godunko / adawebpackAda WASM Runtime and Bindings for Web APIwasmgnat-llvmada-runtimeada-wasm-runtimeadaAdaBSD-3-CLAUSE86 total10 forks+10 starsfrom 76 · score 2.40
2.AdaCore / Ada_Drivers_LibraryAda source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.AdaBSD-3-CLAUSE287 total167 forks+9 starsfrom 278 · score 2.30
3.rod-chapman / SPARKNaClSPARK 2014 re-implementation of the TweetNaCl crypto libraryAdaBSD-3-CLAUSE141 total15 forks+6 starsfrom 135 · score 1.95
5.damaki / libkeccakSHA-3 and other Keccak related algorithms in SPARK/Ada.hash-functionskeccaksha-3sponge-constructionshake128shake256+11 moreAdaBSD-3-CLAUSE40 total4 forks+1 starsfrom 39 · score 0.69