Tópico · dependent-types

dependent-types

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

Repositórios

Total de estrelas

19.237

Média de estrelas

3.206

Participação

0,00%

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

Em ascensão recentemente

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

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

#1
rocq ↗@rocq-proverOCaml
O Rocq Prover é um provador de teoremas interativo, ou assistente de prova. Ele fornece uma linguagem formal para escrever definições matemáticas, algoritmos executáveis e teoremas, juntamente com um ambiente para o desenvolvimento semi-interativo de provas verificadas por máquina.
★ 5.562+4Variaçã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
FStar ↗@FStarLangF*
Uma linguagem de programação orientada a provas.
★ 3.103+4Variação de estrelas nos últimos 7 dias
#4
Idris2 ↗@idris-langIdris
Uma linguagem de programação puramente funcional com tipos de primeira classe.
★ 3.052+3Variação de estrelas nos últimos 7 dias
#5
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
#6
magmide ↗@magmideRocq Prover
Uma linguagem de prova com tipos dependentes destinada a tornar possível código bare metal comprovadamente correto para engenheiros de software.
★ 835+0Variação de estrelas nos últimos 7 dias