Tópico · type-theory

type-theory

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

Repositórios

Total de estrelas

13.970

Média de estrelas

2.794

Participação

0,00%

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

Em ascensão recentemente

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

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

#1
plt ↗@steshawCSS
Teoria de Linguagens de Programação λΠ.
★ 5.362+1Variação de estrelas nos últimos 7 dias
#2
Kind ↗@HigherOrderCOHaskell
Uma linguagem de prova moderna
★ 3.763-1Variação de estrelas nos últimos 7 dias
#3
agda ↗@agdaHaskell
Agda é uma linguagem de programação com tipos dependentes / provador de teoremas interativo.
★ 2.922+3Variação de estrelas nos últimos 7 dias
#4
Coq-HoTT ↗@HoTTRocq Prover
Uma biblioteca Coq para Teoria dos Tipos Homotópicos
★ 1.405+1Variação de estrelas nos últimos 7 dias
#5
typescript-sudoku ↗@gruhnTypeScript
Jogando Sudoku em TypeScript enquanto o verificador de tipos destaca os erros.
★ 517-1Variação de estrelas nos últimos 7 dias