Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 22 Propositional Logic Open Source Projects

Open source projects categorized as Propositional Logic
Categories > Propositional Logic
Tsetlinmachine ⭐ 421
Code and datasets for the Tsetlin Machine
most recent commit a year ago
Pytsetlinmachine ⭐ 118
Implements the Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, Weighted Tsetlin Machine, and Embedding Tsetlin Machine, with support for continuous features, multigranularity, and clause indexing
total releases 29most recent commit 4 months ago
Tmu ⭐ 104
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 written in Python with wrappers for C and CUDA-based clause evaluation and updating.
total releases 37most recent commit 5 months ago
Touist ⭐ 56
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
most recent commit 3 years ago
Convolutional Tsetlin Machine Tutorial ⭐ 51
Tutorial on the Convolutional Tsetlin Machine
most recent commit 3 years ago
Formalesysteme ⭐ 41
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
most recent commit 3 months ago
Pytsetlinmachineparallel ⭐ 35
Multi-threaded implementation of the Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, and Weighted Tsetlin Machine, with support for continuous features and multigranularity.
total releases 10most recent commit a year ago
Lisp Inference ⭐ 31
An Inference Engine based on Propositional Calculus written in Common Lisp
most recent commit 5 years ago
Refl ⭐ 22
Provides a Refl encoding in Rust
total releases 6most recent commit 4 years ago
Language Toolkit 2 ⭐ 19
A set of tools for analyzing languages via logic and automata
total releases 2most recent commit a year ago
Frege ⭐ 13
A propositional logic library.
most recent commit 6 months ago
Philomath ⭐ 12
MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)
most recent commit 5 months ago
Flloat ⭐ 12
From LTLf/LDLf To Automata
most recent commit 4 years ago
Pypl ⭐ 12
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
most recent commit a year ago
Maxixe ⭐ 10
MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker
most recent commit 6 months ago
Pandq.jl ⭐ 9
A computer algebra system for propositional logic
most recent commit 3 months ago
Logic Util ⭐ 7
A handy utility for propositional logic.
most recent commit 10 months ago
Sharplogic ⭐ 7
Open source F# mathematical logic library.
most recent commit 2 years ago
Agda Prop ⭐ 7
A Library for Classical Propositional Logic in Agda
most recent commit 4 years ago
Fitch ⭐ 6
Certified proof checker for Fitch-style propositional logic proofs
most recent commit 5 months ago
Limboole ⭐ 5
Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.
most recent commit 8 months ago
Lcf Style Nd ⭐ 5
Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system
most recent commit 6 months ago
The 5 Latest Releases In Propositional Logic Open Source Projects
Language Toolkit 2 ⭐ 19
A set of tools for analyzing languages via logic and automata
total releases 2latest release March 29, 2022most recent commit a year ago
Refl ⭐ 22
Provides a Refl encoding in Rust
total releases 6latest release February 24, 2020most recent commit 4 years ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.