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
·
damien-pous avatar

damien-pous/relation-algebra

0
View on GitHub↗
52 stars·17 forks·Rocq Prover·LGPL-3.0·3 vues

Relation Algebra

Webpage of the project: http://perso.ens-lyon.fr/damien.pous/ra

Features

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

Historique des stars

Graphique de l'historique des stars pour damien-pous/relation-algebraGraphique de l'historique des stars pour damien-pous/relation-algebra

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 à Relation Algebra

Projets open source similaires, classés selon le nombre de fonctionnalités partagées avec Relation Algebra.
  • 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 à Relation Algebra→

Questions fréquentes

Que fait damien-pous/relation-algebra ?

Webpage of the project: http://perso.ens-lyon.fr/damien.pous/ra

Quelles sont les fonctionnalités principales de damien-pous/relation-algebra ?

Les fonctionnalités principales de damien-pous/relation-algebra sont : Libraries.

Quelles sont les alternatives open-source à damien-pous/relation-algebra ?

Les alternatives open-source à damien-pous/relation-algebra 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?