awesome-repositories.com
Blog
MCP
awesome-repositories.com

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

ExplorarBúsquedas curadasAlternativas open-sourceSoftware autohospedableBlogMapa del sitio
ProyectoServidor MCPAcerca deCómo clasificamosPrensa
Aviso legalPrivacidadTérminos
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·
math-comp avatar

math-comp/mczify

0
View on GitHub↗
29 estrellas·10 forks·Rocq Prover·7 vistas

Mczify

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

Features

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

Historial de estrellas

Gráfico del historial de estrellas de math-comp/mczifyGráfico del historial de estrellas de math-comp/mczify

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 Mczify

Proyectos open-source similares, clasificados según cuántas características comparten con Mczify.
  • charguer/tlcAvatar de charguer

    charguer/tlc

    41Ver en GitHub↗

    Description

    Rocq Prover
    Ver en GitHub↗41
  • coq/bignumsAvatar de coq

    coq/bignums

    25Ver en GitHub↗

    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
    Ver en GitHub↗25
  • coq-community/aleaAvatar de coq-community

    coq-community/alea

    26Ver en GitHub↗

    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
    Ver en GitHub↗26
  • bradymholt/cron-expression-descriptorAvatar de bradymholt

    bradymholt/cron-expression-descriptor

    1,107Ver en GitHub↗

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

    C#
    Ver en GitHub↗1,107
Ver las 23 alternativas a Mczify→

Preguntas frecuentes

¿Qué hace math-comp/mczify?

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

¿Cuáles son las características principales de math-comp/mczify?

Las características principales de math-comp/mczify son: Libraries.

¿Qué alternativas de código abierto existen para math-comp/mczify?

Las alternativas de código abierto para math-comp/mczify incluyen: 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?