propositional-logic

Star

Here are 248 public repositories matching this topic...

Language:All

Filter by language

All248 Python86 Java20 JavaScript17 TypeScript16 OCaml14 C++12 Jupyter Notebook10 Rust8 C7 Haskell6

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

cair /TsetlinMachine

Star488

Code and datasets for the Tsetlin Machine

machine-learning game-theory pattern-recognition propositional-logic bandit-learning frequent-pattern-mining learning-automata tsetlin-machine

UpdatedAug 22, 2025
Cython

Implements the Tsetlin Machine, Coalesced Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, and Weighted Tsetlin Machine, with support for continuous features, drop clause, Type III Feedback, focused negative sampling, multi-task classifier, autoencoder, literal budget, and one-vs-one multi-class classifier. TMU is writ…

gpu incremental cuda regression sparse autoencoder convolution pattern-recognition propositional-logic relational-logic incremental-computation tsetlin-machine multi-output absorbing-states

UpdatedAug 29, 2025
Python

cair /pyTsetlinMachine

Star147

Implements the Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, Weighted Tsetlin Machine, and Embedding Tsetlin Machine, with support for continuous features, multigranularity, clause indexing, and literal budget

machine-learning regression classification convolution propositional-logic bandit-learning embedding frequent-pattern-mining rule-based interpretable tsetlin-machine

UpdatedApr 1, 2025
C

Centril /refl

Star68

Provides a Refl encoding in Rust

rust gadt type-system propositional-logic

UpdatedApr 6, 2023
Rust

touist /touist

Star66

TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)

education research ocaml problem-solving propositional-logic smt minisat smt-lib sat dimacs yices qbf

UpdatedJul 21, 2025
OCaml

cair /convolutional-tsetlin-machine-tutorial

Star53

Tutorial on the Convolutional Tsetlin Machine

convolution pattern-recognition propositional-logic bandit-learning frequent-pattern-mining rule-based interpretable-machine-learning tsetlin-machine

UpdatedJan 13, 2021
Python

knowsys /FormaleSysteme

Star51

Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden

automata german regular-expression teaching complexity turing-machine theoretical-computer-science propositional-logic formal-languages teaching-materials

UpdatedNov 3, 2025
TeX

ryukinix /lisp-inference

Star51

An Inference Engine based on Propositional Calculus written in Common Lisp

common-lisp propositional-logic truth-table inference-engine propositional-calculus inference-rules lisp-inference

UpdatedOct 26, 2025
Common Lisp

cair /pyTsetlinMachineParallel

Star43

Multi-threaded implementation of the Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, and Weighted Tsetlin Machine, with support for continuous features and multigranularity.

machine-learning regression classification convolution propositional-logic bandit-learning frequent-pattern-mining rule-based interpretable-machine-learning tsetlin-machine