awesome-repositories.com
Blog
awesome-repositories.com

Descubre los mejores repositorios open-source con nuestra búsqueda potenciada por IA.

ExplorarBúsquedas curadasAlternativas open-sourceSoftware autohospedableBlogMapa del sitio
ProyectoAcerca deCómo clasificamosPrensaServidor MCP
Aviso legalPrivacidadTérminos
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·
AbsInt avatar

AbsInt/CompCert

0
View on GitHub↗
2,187 estrellas·258 forks·Rocq Prover·2 vistascompcert.org↗

CompCert

The CompCert formally-verified C compiler

Features

  • Sistemas de compilación - A formally verified compiler supporting the C89 standard.

Historial de estrellas

Gráfico del historial de estrellas de absint/compcertGráfico del historial de estrellas de absint/compcert

Búsqueda con IA

Explora más repositorios increíbles

Describe lo que necesitas en lenguaje sencillo: la IA clasifica miles de proyectos open-source curados por relevancia.

Start searching with AI

Alternativas open-source a CompCert

Proyectos open-source similares, clasificados según cuántas características comparten con CompCert.
  • adamierymenko/huffandpuffA

    adamierymenko/huffandpuff

    0Ver en GitHub↗
    Ver en GitHub↗0
  • alanxz/rabbitmq-cAvatar de alanxz

    alanxz/rabbitmq-c

    1,859Ver en GitHub↗

    RabbitMQ C client

    C
    Ver en GitHub↗1,859
  • andrewrk/libsoundioAvatar de andrewrk

    andrewrk/libsoundio

    2,089Ver en GitHub↗

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

    C
    Ver en GitHub↗2,089
  • abiggerhammer/hammerAvatar de abiggerhammer

    abiggerhammer/hammer

    291Ver en GitHub↗

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

    C
    Ver en GitHub↗291
Ver las 30 alternativas a CompCert→

Preguntas frecuentes

¿Qué hace absint/compcert?

The CompCert formally-verified C compiler

¿Cuáles son las características principales de absint/compcert?

Las características principales de absint/compcert son: Sistemas de compilación.

¿Qué alternativas de código abierto existen para absint/compcert?

Las alternativas de código abierto para absint/compcert incluyen: 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.