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

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

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

Lysxia/coq-simple-io

0
View on GitHub↗
35 स्टार्स·8 फोर्क्स·Rocq Prover·MIT·2 व्यूज़lysxia.github.io/rocq-simple-io↗

Coq Simple Io

Features

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

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

lysxia/coq-simple-io के लिए स्टार हिस्ट्री चार्टlysxia/coq-simple-io के लिए स्टार हिस्ट्री चार्ट

AI सर्च

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

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

Start searching with AI

Coq Simple Io के ओपन-सोर्स विकल्प

समान ओपन-सोर्स प्रोजेक्ट्स, जो Coq Simple Io के साथ साझा की गई सुविधाओं के आधार पर रैंक किए गए हैं।
  • 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
Coq Simple Io के सभी 23 विकल्प देखें→

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

lysxia/coq-simple-io क्या करता है?

```coq From SimpleIO Require Import SimpleIO. From Coq Require Import String. #[local] Open Scope string_scope.

lysxia/coq-simple-io की मुख्य विशेषताएं क्या हैं?

lysxia/coq-simple-io की मुख्य विशेषताएं हैं: Libraries।

lysxia/coq-simple-io के कुछ ओपन-सोर्स विकल्प क्या हैं?

lysxia/coq-simple-io के ओपन-सोर्स विकल्पों में शामिल हैं: 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?