Digital logic design tool and simulator
A digital logic designer and circuit simulator.
TypeDB: the power of programming, in your database
INACTIVE: Move your mouse, generate code from flow chart
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic 🌿🌱🐋🌍
Curated list of Prolog packages and resources
Functional relational programming for Clojure(Script).
Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.
ACL2 System and Books as Maintained by the Community
#算法刷题#Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera
A free, open source, online digital circuit/logic designer.
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
A list of philosophy books and resources.