astrio-labs/forall
@astrio-labsForall (∀) Astrio का एक कोडिंग एजेंट है जो डेवलपर्स को मशीन-चेकेबल प्रूफ के साथ स्पेसिफिकेशन-आधारित कोड जनरेट करके सही सॉफ्टवेयर बनाने में मदद करता है।
स्टार
598
फ़ोर्क
34
भाषा
Rust
लाइसेंस
Apache-2.0
आख़िरी push
7 दिन पहले
संबंधित intel (0)
अभी कोई संबंधित intel नहीं
यह रिपॉजिटरी radar द्वारा ट्रैक किए जाने वाले किसी भी स्रोत में अभी तक नहीं आई है। कलेक्टर एक शेड्यूल पर चलता है — जब यह इस रिपॉजिटरी को कवर करे तब वापस देखें।