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