Tópico · logic

logic

Repositórios de código aberto acompanhados marcados com logic, ordenados por estrelas.

Repositórios

9

Total de estrelas

29.438

Média de estrelas

3.271

Participação

0,00%

Tópicos que aparecem com frequência ao lado de logic no mesmo repositório.

Em ascensão recentemente

Repositórios criados nos últimos 90 dias e marcados com logic.

Nenhum repositório novo marcado com este tópico nos últimos 90 dias.

#1
logisim-evolution ↗@logisim-evolutionJava
Ferramenta de design e simulador de lógica digital.
★ 7.517+29Variação de estrelas nos últimos 7 dias
#2
Digital ↗@hneemannJava
Um designer de lógica digital e simulador de circuitos.
★ 5.964+19Variação de estrelas nos últimos 7 dias
#3
plt ↗@steshawCSS
Teoria de Linguagens de Programação λΠ.
★ 5.362+3Variação de estrelas nos últimos 7 dias
#4
typedb ↗@typedbRust
TypeDB: Criado para sistemas, não para registros
★ 4.438+9Variação de estrelas nos últimos 7 dias
#5
flix ↗@flixFlix
A linguagem de programação Flix
★ 2.734+0Variação de estrelas nos últimos 7 dias
#6
math ↗@hendrycksPython
O dataset MATH (NeurIPS 2021).
★ 1.387+1Variação de estrelas nos últimos 7 dias
#7
magmide ↗@magmideRocq Prover
Uma linguagem de prova com tipos dependentes destinada a tornar possível código bare metal comprovadamente correto para engenheiros de software.
★ 835+0Variação de estrelas nos últimos 7 dias
#8
BOOLR ↗@GGBRWJavaScript
Um simulador de lógica digital
★ 626+2Variação de estrelas nos últimos 7 dias
#9
awesome-prolog ↗@klaudiosinani
Lista com curadoria de pacotes e recursos em Prolog
★ 575+0Variação de estrelas nos últimos 7 dias

← Voltar para os tópicos