Programming Language Theory λΠ
Digital logic design tool and simulator
A digital logic designer and circuit simulator.
INACTIVE: Move your mouse, generate code from flow chart
TypeDB: the polymorphic database powered by types
The Flix Programming Language
A digital logic simulator
Curated list of Prolog packages and resources
Mejora tu lógica de programación y aprende mucho más resolviendo estos e...
Functional relational programming for Clojure(Script).
OpenNARS for Research 3.0+
ACL2 System and Books as Maintained by the Community
:octocat: A list of philosophy books and resources.
Python code snippets from Discrete Mathematics for Computer Science spec...
A free, open source, online digital circuit/logic designer.