Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for propositional logic
propositional-logic
x
22 search results found
Tsetlinmachine
⭐
421
Code and datasets for the Tsetlin Machine
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
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.
Touist
⭐
56
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
Convolutional Tsetlin Machine Tutorial
⭐
51
Tutorial on the Convolutional Tsetlin Machine
Formalesysteme
⭐
41
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
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.
Lisp Inference
⭐
31
An Inference Engine based on Propositional Calculus written in Common Lisp
Refl
⭐
22
Provides a Refl encoding in Rust
Language Toolkit 2
⭐
19
A set of tools for analyzing languages via logic and automata
Frege
⭐
13
A propositional logic library.
Philomath
⭐
12
MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)
Flloat
⭐
12
From LTLf/LDLf To Automata
Pypl
⭐
12
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
Maxixe
⭐
10
MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker
Pandq.jl
⭐
9
A computer algebra system for propositional logic
Logic Util
⭐
7
A handy utility for propositional logic.
Sharplogic
⭐
7
Open source F# mathematical logic library.
Agda Prop
⭐
7
A Library for Classical Propositional Logic in Agda
Fitch
⭐
6
Certified proof checker for Fitch-style propositional logic proofs
Limboole
⭐
5
Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.
Lcf Style Nd
⭐
5
Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system
Related Searches
Python Propositional Logic (11)
1-22 of 22 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.