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

Entdecke die besten Open-Source-Repositories mit KI-gestützter Suche.

EntdeckenKuratierte SuchenOpen-Source-AlternativenSelf-hosted SoftwareBlogSitemap
ProjektMCP-ServerÜber unsRanking-MethodikPresse
RechtlichesDatenschutzAGB
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·
coq avatar

coq/bignums

0
View on GitHub↗
25 Stars·23 Forks·Rocq Prover·LGPL-2.1·3 Aufrufe

Bignums

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.

Star-Verlauf

Star-Verlauf für coq/bignumsStar-Verlauf für coq/bignums

KI-Suche

Entdecke weitere awesome Repositories

Beschreibe in einfachen Worten, was du brauchst — die KI bewertet tausende kuratierte Open-Source-Projekte nach Relevanz.

Start searching with AI

Open-Source-Alternativen zu Bignums

Ähnliche Open-Source-Projekte, sortiert nach der Anzahl der gemeinsamen Funktionen mit Bignums.
  • charguer/tlcAvatar von charguer

    charguer/tlc

    41Auf GitHub ansehen↗

    Description

    Rocq Prover
    Auf GitHub ansehen↗41
  • coq-community/aleaAvatar von coq-community

    coq-community/alea

    26Auf GitHub ansehen↗

    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
    Auf GitHub ansehen↗26
  • coq-community/coq-ext-libAvatar von coq-community

    coq-community/coq-ext-lib

    137Auf GitHub ansehen↗

    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
    Auf GitHub ansehen↗137
  • bradymholt/cron-expression-descriptorAvatar von bradymholt

    bradymholt/cron-expression-descriptor

    1,107Auf GitHub ansehen↗

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

    C#
    Auf GitHub ansehen↗1,107
Alle 23 Alternativen zu Bignums anzeigen→

Häufig gestellte Fragen

Was macht coq/bignums?

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

Was sind die Hauptfunktionen von coq/bignums?

Die Hauptfunktionen von coq/bignums sind: Libraries.

Welche Open-Source-Alternativen gibt es zu coq/bignums?

Open-Source-Alternativen zu coq/bignums sind unter anderem: charguer/tlc — Description. 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… damien-pous/relation-algebra — Webpage of the project: http://perso.ens-lyon.fr/damien.pous/ra. bradymholt/cron-expression-descriptor —  Would you take a quick second and ⭐️ my repo?