Tópico · type-system

type-system

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

Repositórios

Total de estrelas

62.570

Média de estrelas

7.821

Participação

0,00%

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

Em ascensão recentemente

Repositórios criados nos últimos 90 dias e marcados com type-system.

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

#1
type-challenges ↗@type-challengesTypeScript
Coleção de desafios de tipos em TypeScript com corretor online (judge)
★ 48.485+31Variação de estrelas nos últimos 7 dias
#2
typedb ↗@typedbRust
TypeDB: Criado para sistemas, não para registros
★ 4.435+10Variação de estrelas nos últimos 7 dias
#3
zui ↗@brimdataTypeScript
Zui é um aplicativo de desktop poderoso para explorar e trabalhar com dados. O front-end oficial para o Zed lake.
★ 1.968-1Variação de estrelas nos últimos 7 dias
#4
HypeScript ↗@ronamiTypeScript
Uma implementação simplificada do sistema de tipos do TypeScript escrita no próprio sistema de tipos do TypeScript.
★ 1.965+1Variação de estrelas nos últimos 7 dias
#5
typed-japanese ↗@typedgrammarTypeScript
🌸 Aprenda gramática japonesa com TypeScript
★ 1.945+0Variação de estrelas nos últimos 7 dias
#6
hash ↗@hashintelTypeScript
Plataforma open-source multi-tenant para auto-construção de grafos de conhecimento e simulação
★ 1.649+4Variação de estrelas nos últimos 7 dias
#7
datatype99 ↗@hirrolotC
Tipos de dados algébricos para C99.
★ 1.508+0Variação de estrelas nos últimos 7 dias
#8
Gradualizer ↗@josefsErlang
Um sistema de tipos gradual para Erlang
★ 618+0Variação de estrelas nos últimos 7 dias