Tópico · linear-types

linear-types

Repositórios de código aberto acompanhados marcados com linear-types, ordenados por estrelas.

Repositórios

Total de estrelas

1.573

Média de estrelas

1.573

Participação

0,00%

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

Em ascensão recentemente

Repositórios criados nos últimos 90 dias e marcados com linear-types.

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

#1
austral ↗@australOCaml
Linguagem de sistemas com tipos lineares e segurança baseada em capacidades.
★ 1.573+1Variação de estrelas nos últimos 7 dias