propositional-logic topic
pyTsetlinMachine
Implements the Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, Weighted Tsetlin Machine, and Embedding Tsetlin Machine, with support for continuous features, multigranulari...
TsetlinMachine
Code and datasets for the Tsetlin Machine
refl
Provides a Refl encoding in Rust
touist
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
Language-Toolkit-2
A set of tools for analyzing languages via logic and automata
lisp-inference
An Inference Engine based on Propositional Calculus written in Common Lisp
convolutional-tsetlin-machine-tutorial
Tutorial on the Convolutional Tsetlin Machine
pyTsetlinMachineParallel
Multi-threaded implementation of the Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, and Weighted Tsetlin Machine, with support for continuous features and multigranularity...
tmu
Implements the Tsetlin Machine, Coalesced Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, and Weighted Tsetlin Machine, with support for continuous features, drop clause, T...