Tema · type-theory

type-theory

Repositorios de código abierto monitorizados etiquetados con type-theory, ordenados por estrellas.

Repositorios

Estrellas totales

13.970

Estrellas de media

2794

Proporción

0,00%

Temas que aparecen con frecuencia junto a type-theory en un mismo repositorio.

Emergentes recientes

Repositorios creados en los últimos 90 días, etiquetados con type-theory.

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

#1
plt ↗@steshawCSS
Teoría de lenguajes de programación λΠ
★ 5362+1Variació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
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
#4
Coq-HoTT ↗@HoTTRocq Prover
Una biblioteca de Coq para la Teoría de Tipos de Homotopía
★ 1405+1Variación de estrellas de los últimos 7 días
#5
typescript-sudoku ↗@gruhnTypeScript
Jugar Sudoku en TypeScript mientras el verificador de tipos resalta los errores.
★ 517-1Variación de estrellas de los últimos 7 días