Tema · logic

logic

Repositorios de código abierto monitorizados etiquetados con logic, ordenados por estrellas.

Repositorios

9

Estrellas totales

29.393

Estrellas de media

3266

Proporción

0,00%

Temas que aparecen con frecuencia junto a logic en un mismo repositorio.

Emergentes recientes

Repositorios creados en los últimos 90 días, etiquetados con logic.

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

#1
logisim-evolution ↗@logisim-evolutionJava
Herramienta y simulador de diseño de lógica digital.
★ 7496+33Variación de estrellas de los últimos 7 días
#2
Digital ↗@hneemannJava
Un diseñador de lógica digital y simulador de circuitos.
★ 5951+21Variación de estrellas de los últimos 7 días
#3
plt ↗@steshawCSS
Teoría de lenguajes de programación λΠ
★ 5361+3Variación de estrellas de los últimos 7 días
#4
typedb ↗@typedbRust
TypeDB: Construido para sistemas, no para registros
★ 4430+10Variación de estrellas de los últimos 7 días
#5
flix ↗@flixFlix
El lenguaje de programación Flix
★ 2734+4Variación de estrellas de los últimos 7 días
#6
math ↗@hendrycksPython
El conjunto de datos MATH (NeurIPS 2021).
★ 1387+3Variación de estrellas de los últimos 7 días
#7
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
#8
BOOLR ↗@GGBRWJavaScript
Un simulador de lógica digital
★ 626+0Variación de estrellas de los últimos 7 días
#9
awesome-prolog ↗@klaudiosinani
Lista curada de paquetes y recursos de Prolog
★ 575+1Variación de estrellas de los últimos 7 días

← Volver a temas