मालिक · GaloisInc

GaloisInc

GaloisInc की ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।

3 रिपॉजिटरी

#1
cryptol ↗@GaloisIncHaskell
Cryptol: क्रिप्टोग्राफी की भाषा
★ 1,220+0पिछले 7 दिनों में स्टार का बदलाव
#2
crucible ↗@GaloisIncHaskell
Crucible इंपेरेटिव प्रोग्राम्स के सिम्बॉलिक सिमुलेशन के लिए एक लाइब्रेरी है।
★ 774+0पिछले 7 दिनों में स्टार का बदलाव
#3
saw-script ↗@GaloisIncHaskell
सॉफ्टवेयर एनालिसिस वर्कबेंच
★ 518+1पिछले 7 दिनों में स्टार का बदलाव