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

Découvrez les meilleurs dépôts open-source grâce à notre recherche par IA.

ExplorerRecherches sélectionnéesAlternatives open sourceLogiciels auto-hébergésBlogPlan du site
ProjetServeur MCPÀ proposNotre méthodologiePresse
Mentions légalesConfidentialitéConditions d'utilisation
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·
tchajed avatar

tchajed/coq-record-update

0
View on GitHub↗
49 stars·21 forks·Rocq Prover·MIT·3 vues

Coq Record Update

In a nutshell, this library automatically provides a generic way to update record fields. Here's a teaser example:

Features

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

Historique des stars

Graphique de l'historique des stars pour tchajed/coq-record-updateGraphique de l'historique des stars pour tchajed/coq-record-update

Recherche par IA

Explorez plus de dépôts awesome

Décrivez vos besoins en langage naturel — l'IA classe des milliers de projets open source sélectionnés par pertinence.

Start searching with AI

Alternatives open source à Coq Record Update

Projets open source similaires, classés selon le nombre de fonctionnalités partagées avec Coq Record Update.
  • charguer/tlcAvatar de charguer

    charguer/tlc

    41Voir sur GitHub↗

    Description

    Rocq Prover
    Voir sur GitHub↗41
  • coq/bignumsAvatar de coq

    coq/bignums

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

    coq-community/alea

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

    bradymholt/cron-expression-descriptor

    1,107Voir sur GitHub↗

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

    C#
    Voir sur GitHub↗1,107
Voir les 23 alternatives à Coq Record Update→

Questions fréquentes

Que fait tchajed/coq-record-update ?

In a nutshell, this library automatically provides a generic way to update record fields. Here's a teaser example:

Quelles sont les fonctionnalités principales de tchajed/coq-record-update ?

Les fonctionnalités principales de tchajed/coq-record-update sont : Libraries.

Quelles sont les alternatives open-source à tchajed/coq-record-update ?

Les alternatives open-source à tchajed/coq-record-update incluent : 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?