AlloyTools/org.alloytools.alloy
@AlloyToolsAlloy adalah bahasa untuk mendeskripsikan struktur dan alat untuk menjelajahinya. Telah digunakan dalam berbagai aplikasi mulai dari menemukan celah pada mekanisme keamanan hingga merancang jaringan pengalihan telepon. Repositori ini berisi kode untuk alat tersebut.
Bintang
865
Fork
149
Bahasa
Java
Lisensi
NOASSERTION
Push terakhir
3 bulan yang lalu
Intel terkait (0)
Belum ada intel terkait
Repositori ini belum muncul di sumber mana pun yang dilacak radar. Kolektor berjalan sesuai jadwal — periksa kembali setelah mencakup repositori ini.