Digital logic design tool and simulator
-
Updated
May 13, 2024 - Java
Digital logic design tool and simulator
A `Neural = Symbolic` framework for sound and complete weighted real-value logic
A digital logic designer and circuit simulator.
TypeDB: the polymorphic database powered by types
Programming Language Theory λΠ
Solutions for the book "Language Proof and Logic".
The Flix Programming Language
📚Solutions to Language, Proof and Logic (2nd Edition)
Mod for minetest that adds digital circuitry [=Minecraft redstone]
Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera
Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.
ACL2 System and Books as Maintained by the Community
Logic Engine for Grid-Using Puzzles - a better way to learn formal logic
A free, open source, online digital circuit/logic designer.
A digital logic simulator
Add a description, image, and links to the logic topic page so that developers can more easily learn about it.
To associate your repository with the logic topic, visit your repo's landing page and select "manage topics."