Tópico · inria

inria

Repositórios de código aberto acompanhados marcados com inria, ordenados por estrelas.

Repositórios

2

Total de estrelas

3.791

Média de estrelas

1.896

Participação

0,00%

Tópicos que aparecem com frequência ao lado de inria no mesmo repositório.

Em ascensão recentemente

Repositórios criados nos últimos 90 dias e marcados com inria.

Nenhum repositório novo marcado com este tópico nos últimos 90 dias.

#1
spoon ↗@INRIAJava
Spoon é uma biblioteca de metaprogramação para analisar e transformar código-fonte Java. Analisa arquivos de origem para construir uma AST bem projetada com uma API poderosa de análise e transformação.
★ 1.955+1Variação de estrelas nos últimos 7 dias
#2
hacl-star ↗@hacl-starF*
HACL*, uma biblioteca criptográfica formalmente verificada escrita em F*.
★ 1.836+0Variação de estrelas nos últimos 7 dias

← Voltar para os tópicos