Tema · dependent-types

dependent-types

Repositorios de código abierto monitorizados etiquetados con dependent-types, ordenados por estrellas.

Repositorios

Estrellas totales

19.237

Estrellas de media

3206

Proporción

0,00%

Temas que aparecen con frecuencia junto a dependent-types en un mismo repositorio.

Emergentes recientes

Repositorios creados en los últimos 90 días, etiquetados con dependent-types.

No hay repositorios nuevos con este tema en los últimos 90 días.

#1
rocq ↗@rocq-proverOCaml
The Rocq Prover es un demostrador de teoremas interactivo o asistente de pruebas. Proporciona un lenguaje formal para escribir definiciones matemáticas, algoritmos ejecutables y teoremas, junto con un entorno para el desarrollo semiinteractivo de pruebas verificadas por máquina.
★ 5562+4Variación de estrellas de los últimos 7 días
#2
Kind ↗@HigherOrderCOHaskell
Un lenguaje de demostración moderno
★ 3763-1Variación de estrellas de los últimos 7 días
#3
FStar ↗@FStarLangF*
Un lenguaje de programación orientado a pruebas
★ 3103+4Variación de estrellas de los últimos 7 días
#4
Idris2 ↗@idris-langIdris
Un lenguaje de programación puramente funcional con tipos de primera clase
★ 3052+3Variación de estrellas de los últimos 7 días
#5
agda ↗@agdaHaskell
Agda es un lenguaje de programación con tipos dependientes / probador interactivo de teoremas.
★ 2922+3Variación de estrellas de los últimos 7 días
#6
magmide ↗@magmideRocq Prover
Un lenguaje de prueba con tipos dependientes diseñado para hacer posible el código bare metal demostrablemente correcto para ingenieros de software.
★ 835+0Variación de estrellas de los últimos 7 días