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

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

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

AbsInt/CompCert

0
View on GitHub↗
2,187 स्टार्स·258 फोर्क्स·Rocq Prover·5 व्यूज़compcert.org↗

CompCert

The CompCert formally-verified C compiler

Features

  • बिल्ड सिस्टम - A formally verified compiler supporting the C89 standard.

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

absint/compcert के लिए स्टार हिस्ट्री चार्टabsint/compcert के लिए स्टार हिस्ट्री चार्ट

AI सर्च

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

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

Start searching with AI

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

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

    adamierymenko/huffandpuff

    0GitHub पर देखें↗
    GitHub पर देखें↗0
  • alanxz/rabbitmq-calanxz का अवतार

    alanxz/rabbitmq-c

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

    RabbitMQ C client

    C
    GitHub पर देखें↗1,859
  • andrewrk/libsoundioandrewrk का अवतार

    andrewrk/libsoundio

    2,089GitHub पर देखें↗

    C library for cross-platform real-time audio input and output

    C
    GitHub पर देखें↗2,089
  • abiggerhammer/hammerabiggerhammer का अवतार

    abiggerhammer/hammer

    291GitHub पर देखें↗

    Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.

    C
    GitHub पर देखें↗291
CompCert के सभी 30 विकल्प देखें→

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

absint/compcert क्या करता है?

The CompCert formally-verified C compiler

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

absint/compcert की मुख्य विशेषताएं हैं: बिल्ड सिस्टम।

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

absint/compcert के ओपन-सोर्स विकल्पों में शामिल हैं: adamierymenko/huffandpuff. alanxz/rabbitmq-c — RabbitMQ C client. andrewrk/libsoundio — C library for cross-platform real-time audio input and output. antirez/sds — sds is a C dynamic string library that provides a memory management wrapper for heap-allocated strings. It implements… apenwarr/redo — Smaller, easier, more powerful, and more reliable than make. An implementation of djb's redo. abiggerhammer/hammer — Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.