Repository navigation
logic
- Website
- Wikipedia
Digital logic design tool and simulator
Programming Language Theory λΠ
A digital logic designer and circuit simulator.
TypeDB: the power of programming, in your database
The Flix Programming Language
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 🌿🌱🐋🌍
A digital logic simulator
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.