type-system
Repositorios de código abierto monitorizados etiquetados con type-system, ordenados por estrellas.
Temas relacionados
Temas que aparecen con frecuencia junto a type-system en un mismo repositorio.
Emergentes recientes
Repositorios creados en los últimos 90 días, etiquetados con type-system.
No hay repositorios nuevos con este tema en los últimos 90 días.
- #1
Colección de desafíos de tipos de TypeScript con juez en línea
★ 48.485+31Variación de estrellas de los últimos 7 días - #2★ 4435+10Variación de estrellas de los últimos 7 días
- #3
Zui es una potente aplicación de escritorio para explorar y trabajar con datos. El front-end oficial para el lago de datos Zed.
★ 1968-1Variación de estrellas de los últimos 7 días - #4
🐬 Una implementación simplificada del sistema de tipos de TypeScript escrita en el propio sistema de tipos de TypeScript
★ 1965+1Variación de estrellas de los últimos 7 días - #5
🌸 Aprende gramática japonesa con TypeScript
★ 1945+0Variación de estrellas de los últimos 7 días - #6
Plataforma de código abierto y multiinquilino para la autoconstrucción de grafos de conocimiento y simulación.
★ 1649+4Variación de estrellas de los últimos 7 días - #7
Tipos de datos algebraicos para C99
★ 1508+0Variación de estrellas de los últimos 7 días - #8
Un sistema de tipos gradual para Erlang.
★ 618+0Variación de estrellas de los últimos 7 días
