awesome-repositories.com
ब्लॉग
MCP
awesome-repositories.com

AI-संचालित खोज के साथ बेहतरीन ओपन-सोर्स रिपॉजिटरी खोजें।

एक्सप्लोर करेंक्यूरेटेड खोजेंओपन-सोर्स विकल्पसेल्फ-होस्टेड सॉफ्टवेयरब्लॉगसाइटमैप
प्रोजेक्टMCP सर्वरहमारे बारे मेंहम रैंकिंग कैसे करते हैंप्रेस
कानूनीगोपनीयताशर्तें
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·
fblanqui avatar

fblanqui/color

0
View on GitHub↗
37 स्टार्स·21 फोर्क्स·Rocq Prover·2 व्यूज़

Color

C o L o R , a Rocq library on rewriting theory and termination

Features

  • Libraries - Listed in the “Libraries” section of the Awesome Coq awesome list.

स्टार हिस्ट्री

fblanqui/color के लिए स्टार हिस्ट्री चार्टfblanqui/color के लिए स्टार हिस्ट्री चार्ट

AI सर्च

और अधिक बेहतरीन रिपॉजिटरी खोजें

अपनी ज़रूरत को सरल भाषा में बताएं — AI हजारों क्यूरेटेड ओपन-सोर्स प्रोजेक्ट्स को प्रासंगिकता के आधार पर रैंक करता है।

Start searching with AI

Color के ओपन-सोर्स विकल्प

समान ओपन-सोर्स प्रोजेक्ट्स, जो Color के साथ साझा की गई सुविधाओं के आधार पर रैंक किए गए हैं।
  • charguer/tlccharguer का अवतार

    charguer/tlc

    41GitHub पर देखें↗

    Description

    Rocq Prover
    GitHub पर देखें↗41
  • coq/bignumscoq का अवतार

    coq/bignums

    25GitHub पर देखें↗

    This file was generated from meta.yml, please do not edit manually. Follow the instructions on https://github.com/coq-community/templates to regenerate. --->

    Rocq Prover
    GitHub पर देखें↗25
  • coq-community/aleacoq-community का अवतार

    coq-community/alea

    26GitHub पर देखें↗

    This file was generated from meta.yml, please do not edit manually. Follow the instructions on https://github.com/coq-community/templates to regenerate. --->

    Coq
    GitHub पर देखें↗26
  • bradymholt/cron-expression-descriptorbradymholt का अवतार

    bradymholt/cron-expression-descriptor

    1,107GitHub पर देखें↗

    Would you take a quick second and ⭐️ my repo?

    C#
    GitHub पर देखें↗1,107
Color के सभी 23 विकल्प देखें→

अक्सर पूछे जाने वाले प्रश्न

fblanqui/color क्या करता है?

C o L o R , a Rocq library on rewriting theory and termination

fblanqui/color की मुख्य विशेषताएं क्या हैं?

fblanqui/color की मुख्य विशेषताएं हैं: Libraries।

fblanqui/color के कुछ ओपन-सोर्स विकल्प क्या हैं?

fblanqui/color के ओपन-सोर्स विकल्पों में शामिल हैं: charguer/tlc — Description. coq/bignums — This file was generated from meta.yml, please do not edit manually. Follow the instructions on… coq-community/alea — This file was generated from meta.yml, please do not edit manually. Follow the instructions on… coq-community/coq-ext-lib — This file was generated from meta.yml, please do not edit manually. Follow the instructions on… coq-community/reglang — This file was generated from meta.yml, please do not edit manually. Follow the instructions on… bradymholt/cron-expression-descriptor —  Would you take a quick second and ⭐️ my repo?