Programming Language Theory λΠ
-
Updated
Dec 2, 2024 - CSS
Programming Language Theory λΠ
Digital logic design tool and simulator
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.
A digital logic simulator
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 list of philosophy books and resources.
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.
Reviewing some online CS courses I took
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."