Tema · intralingual
intralingual
Repositorios de código abierto monitorizados etiquetados con intralingual, ordenados por estrellas.
Repositorios
1
Estrellas totales
3190
Estrellas de media
3190
Proporción
0,00%
Temas relacionados
Temas que aparecen con frecuencia junto a intralingual en un mismo repositorio.
Emergentes recientes
Repositorios creados en los últimos 90 días, etiquetados con intralingual.
No hay repositorios nuevos con este tema en los últimos 90 días.
- #1
Theseus es un SO moderno escrito desde cero en Rust que explora el diseño intralingüe: cierra la brecha semántica entre el compilador y el hardware aprovechando al máximo el poder de la seguridad de tipos y los tipos afines. Theseus tiene como objetivo trasladar las responsabilidades del SO, como la gestión de recursos, al compilador.
★ 3190+6Variación de estrellas de los últimos 7 días
