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

Descoperă cele mai bune repository-uri open source cu căutare AI.

ExploreazăCăutări recomandateAlternative open-sourceSoftware self-hostedBlogHartă site
ProiectServer MCPDespreCum realizăm clasamentulPresă
LegalConfidențialitateTermeni
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·
damien-pous avatar

damien-pous/relation-algebra

0
View on GitHub↗
52 stele·17 fork-uri·Rocq Prover·LGPL-3.0·3 vizualizări

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.

Istoric stele

Graficul istoricului de stele pentru damien-pous/relation-algebraGraficul istoricului de stele pentru damien-pous/relation-algebra

Căutare AI

Explorează mai multe repository-uri excelente

Descrie ce ai nevoie în limbaj simplu — AI-ul sortează mii de proiecte open source selectate în funcție de relevanță.

Start searching with AI

Alternative open-source pentru Relation Algebra

Proiecte open-source similare, clasificate după numărul de funcționalități comune cu Relation Algebra.
  • charguer/tlcAvatar charguer

    charguer/tlc

    41Vezi pe GitHub↗

    Description

    Rocq Prover
    Vezi pe GitHub↗41
  • coq/bignumsAvatar coq

    coq/bignums

    25Vezi pe 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
    Vezi pe GitHub↗25
  • coq-community/aleaAvatar coq-community

    coq-community/alea

    26Vezi pe 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
    Vezi pe GitHub↗26
  • bradymholt/cron-expression-descriptorAvatar bradymholt

    bradymholt/cron-expression-descriptor

    1,107Vezi pe GitHub↗

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

    C#
    Vezi pe GitHub↗1,107
Vezi toate cele 23 alternative pentru Relation Algebra→

Întrebări frecvente

Ce face damien-pous/relation-algebra?

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

Care sunt principalele funcționalități ale damien-pous/relation-algebra?

Principalele funcționalități ale damien-pous/relation-algebra sunt: Libraries.

Care sunt câteva alternative open-source pentru damien-pous/relation-algebra?

Alternativele open-source pentru damien-pous/relation-algebra includ: 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?