Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
juliahub.com "logic" keyword
SoleLogics 0.8.2
Computational logic in Julia!31 versions - Latest release: 16 days ago - 4 dependent packages - 11 stars on GitHub
Sole 0.4.0
Sole.jl – Long live transparent modeling!5 versions - Latest release: 3 months ago - 1 dependent package - 30 stars on GitHub
LogicCircuits 0.3.3
Logic Circuits from the Juice library11 versions - Latest release: about 2 years ago - 3 dependent packages - 49 stars on GitHub
Julog 0.1.15
A Julia package for Prolog-style logic programming.16 versions - Latest release: almost 2 years ago - 2 dependent packages - 168 stars on GitHub
PAndQ 0.3.1
A computer algebra system for propositional logic4 versions - Latest release: about 2 months ago - 15 stars on GitHub
DeMorgan 0.1.0 💰
Classical logic truth table magma algebra1 version - Latest release: 6 months ago - 3 stars on GitHub
ModalDecisionTrees 0.4.0
Julia implementation of Modal Decision Trees & Forests, for interpretable classification of spati...18 versions - Latest release: 3 months ago - 7 stars on GitHub
Related Keywords
julia
5
symbolic-learning
3
modal-logic
2
propositional-logic
2
proof-assistant
1
boolean-logic
1
truth-table
1
logical-operators
1
reasoning
1
truth-table-generator
1
boolean-algebra
1
algebra
1
computer-algebra
1
boolean-expression
1
time-series-classification
1
decision-trees
1
machine-learning
1
proof
1
mathematics
1
math
1
symbolic
1
julialang
1
prolog
1
fol
1
logic-programming
1
first-order-logic
1
logic-circuits
1
automated-reasoning
1
logical-reasoning
1
artificial-intelligence
1