Topik · inria
inria
Repositori open source terpantau bertanda inria, diurutkan berdasarkan bintang.
Repositori
2
Total bintang
3.791
Rata-rata bintang
1.896
Porsi
0,00%
Topik terkait
Topik yang sering muncul berdampingan dengan inria di repositori yang sama.
Yang sedang naik
Repositori yang dibuat dalam 90 hari terakhir dan bertanda inria.
Tidak ada repositori baru bertanda topik ini dalam 90 hari terakhir.
- #1
Spoon adalah pustaka metapemrograman untuk menganalisis dan mengubah kode sumber Java. :spoon: dibuat dengan :heart:, :beers: dan :sparkles:. Pustaka ini memparsing file sumber untuk membangun AST yang dirancang dengan baik dengan API analisis dan transformasi yang kuat.
★ 1.955+1Perubahan bintang dalam 7 hari terakhir - #2
HACL*, pustaka kriptografi yang diverifikasi secara formal yang ditulis dalam F*
★ 1.836+0Perubahan bintang dalam 7 hari terakhir
