GraknTypeDB: a strongly-typed database
LimboA Reasoning System for a First-Order Logic of Limited Belief, written in C++
ImoveMove your mouse, generate code from flow chart
LatteLaTTe : a Laboratory for Type Theory experiments (in clojure)
Philosophy A list of philosophy books and resources.
Acl2ACL2 System and Books as Maintained by the Community
MeseconsMod for minetest that adds digital circuitry [=minecraft redstone]
Dls SchematicsSchematics for DLS - The Digital Logic Simulator game http://makingartstudios.itch.io/dls
NaluBasic pytorch implementation of NAC/NALU from Neural Arithmetic Logic Units paper by trask et.al
LomrfLoMRF is an open-source implementation of Markov Logic Networks
OpenlletOpenllet is an OWL 2 reasoner in Java, build on top of Pellet.
DigitalA digital logic designer and circuit simulator.
ZipperpositionAn automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.
Modal logicFinal Year Masters Project: modal logic solver tableaux
FlixThe Flix Programming Language
PltλΠ Programming Language Theory
BoolrA digital logic simulator
typeqlTypeQL: the query language of TypeDB - a strongly-typed database
relicFunctional relational programming for Clojure(Script).
LPL📚Solutions to Language, Proof and Logic (2nd Edition)
antaresDigital circuit learning platform
vulcanA JavaScript propositional logic and resolution library
Ejercicios-PracticosMejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.
fitchjsFitch style proof constructor
OpenCircuitsA free, open source, online digital circuit/logic designer.
imoveINACTIVE: Move your mouse, generate code from flow chart
Awesome-Neural-LogicAwesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断,神经逻辑,强人工智能逻辑推理前沿领域。
typedbTypeDB: a strongly-typed database
theolog-ss2017Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthalten
nunchakuModel finder for higher-order logic
SMCDELA symbolic model checker for Dynamic Epistemic Logic.
switchSwitch is a small logic game that demonstrates usage of Pixar USD and Hydra on Windows.
consistencyImplementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models
Leo-IIIAn Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
ioBroker.linkeddevicesCreate linked objects (datapoints) of your devices with a self-defined structure. This makes it possible to create a structure in ioBroker, where all objects are centralized, e.g. to be used in the vis or scripts.
awesome-rust-formalized-reasoningAn exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
illogicalA micro conditional javascript engine used to parse the raw logical and comparison expressions, evaluate the expression in the given data context, and provide access to a text form of the given expressions.
blocA predictable state management library that helps implement the BLoC design pattern
ciaoCiao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
CSCv2Version 2 of my Crazy Small CPU