digilogic is a high speed digital circuit simulator / schematic capture
-
Updated
May 29, 2024 - C
digilogic is a high speed digital circuit simulator / schematic capture
TypeQL: the polymorphic query language of TypeDB
Software implementation of logic inference machine
TypeDB: the polymorphic database powered by types
Symbolic Model Checker for the Gossip Problem
The Flix Programming Language
Probabilistic separation logics for verifying higher-order probabilistic programs.
Repositorio que contiene la solución al desafío para desarrolladores junior full-stack más la solución al primer desafío opcional brindado por Ruuf.cl ☀
Differentiable probabilistic answer set programming
Welcome to my LeetCode solutions repository! I'm Rupak Parajuli, a passionate programmer dedicated to solving challenging algorithmic problems. Here, you'll find my Python 3 implementations for various LeetCode challenges, neatly organized with clear explanations of each solution. LeetCode offers an ideal platform for honing problem-solving skills,
Misconception-based tutor designed to help people learn Linear Temporal Logic.
ACL2 System and Books as Maintained by the Community
These are my solutions to the tasks in the textbook Mathematical Logic Through Python by Nisan and Gonczarowski.
Readings on computational logic, interactive theorem proving and functional programming.
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
Digital logic design tool and 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."