PyTorch Explain: Interpretable Deep Learning in Python.
An automatic theorem prover in OCaml for typed higher-order logic with e...
Solutions to In-Class questions, Problem Sets and Exams of MIT Mathemati...
Keith Devlin's Introduction to Mathematical Thinking course on Coursera ...
Graphical logic editor/simulator
Openllet is an OWL 2 reasoner in Java, build on top of Pellet.
Simulation only cartridge NeoGeo hardware definition
LoMRF is an open-source implementation of Markov Logic Networks
Python package that makes creating complicated business logic easy
truth-table-generator is a tool that allows to generate a truth table
Gradle plugin for automating everything involving MarkLogic
A list of resources that cross the disciplines of Computer Science and P...
Issie - an intuitive cross-platform hardware design application. https:/...