Copilot-Language/copilot
@Copilot-Languageहार्ड रियल-टाइम C कोड जनरेट करने के लिए एक स्ट्रीम-आधारित रनटाइम-वेरिफिकेशन फ्रेमवर्क
स्टार
833
फ़ोर्क
79
भाषा
Haskell
लाइसेंस
—
आख़िरी push
2 माह पहले
संबंधित intel (0)
अभी कोई संबंधित intel नहीं
यह रिपॉजिटरी radar द्वारा ट्रैक किए जाने वाले किसी भी स्रोत में अभी तक नहीं आई है। कलेक्टर एक शेड्यूल पर चलता है — जब यह इस रिपॉजिटरी को कवर करे तब वापस देखें।