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+2 starsfrom 84 · score 1.10
3.AdaCore / Ada_Drivers_LibraryAda source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.AdaBSD-3-CLAUSE287 total167 forks+1 starsfrom 286 · score 0.69