logic topic

List logic repositories

imove

3.7k
Stars
340
Forks
Watchers

INACTIVE: Move your mouse, generate code from flow chart

verified publisher icon i5ting

acl2

343
Stars
96
Forks
Watchers

ACL2 System and Books as Maintained by the Community

verified publisher icon acl2

typedb

3.7k
Stars
336
Forks
Watchers

TypeDB: the polymorphic database powered by types

verified publisher icon vaticle

OpenCircuits

278
Stars
68
Forks
Watchers

A free, open source, online digital circuit/logic designer.

verified publisher icon OpenCircuits

opennars

375
Stars
86
Forks
Watchers

OpenNARS for Research 3.0+

verified publisher icon opennars

flix

2.1k
Stars
149
Forks
Watchers

The Flix Programming Language

verified publisher icon flix

Ejercicios-Practicos

402
Stars
103
Forks
Watchers

Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.

verified publisher icon alexanyernas

typeql

212
Stars
45
Forks
Watchers

TypeQL: the polymorphic query language of TypeDB

verified publisher icon vaticle

mesecons

202
Stars
118
Forks
Watchers

Mod for minetest that adds digital circuitry [=Minecraft redstone]

verified publisher icon minetest-mods

badarguments

127
Stars
21
Forks
Watchers

Book of Bad Arguments & Mr. Rabbit's Guide to Sneaky Rhetoric

verified publisher icon almossawi