awesome-repositories.comश्रेणियाँब्लॉग
MCP
awesome-repositories.com

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

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

jwiegley/coq-haskell

0
View on GitHub↗
172 स्टार्स·11 फोर्क्स·Coq·BSD-3-Clause·3 व्यूज़

Coq Haskell

coq-haskell

Features

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

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

jwiegley/coq-haskell के लिए स्टार हिस्ट्री चार्टjwiegley/coq-haskell के लिए स्टार हिस्ट्री चार्ट

AI सर्च

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

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

Start searching with AI

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

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

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

jwiegley/coq-haskell क्या करता है?

coq-haskell

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

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

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

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