#logic (14 Repositories)
Ranked open-source repositories tagged with #logic, scored by pull request acceptance likelihood and maintainer engagement velocity.
48.0%
69.2h
14 repositories tagged #logic
logisim-evolution/logisim-evolution
Digital logic design tool and simulator
FormalizedFormalLogic/Foundation
Formalization of Mathematical Logic
lab-v2/pyreason
An explainable inference software supporting annotated, real valued, graph based and temporal logic
typedb/typedb
TypeDB: Built for systems, not records
engboris/stellogen
An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
lcapossio/fpgacapZero
fcapz: Open-source, vendor-agnostic full-featured FPGA debug cores. Embedded Logic analyzer, Embedded I/O and Embedded JTAG-AXI
minetest-mods/mesecons
Mod for Minetest that adds digital circuitry [=Minecraft redstone]
typedb/typeql
TypeQL: Built for systems, not records
sneeuwballen/zipperposition
An 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.
ztangent/Julog.jl
A Julia package for Prolog-style logic programming.
NucleoidAI/Nucleoid
Logic Language for LLMs 🌱🐋 Build World Models 🌍
opennars/opennars
OpenNARS for Research 3.0+
wotbrew/relic
Functional relational programming for Clojure(Script).
latte-central/LaTTe
LaTTe : a Laboratory for Type Theory experiments (in clojure)