Awesome Open Source

Programming Languages

Search results for c propositional logic

propositional-logic x

4 search results found

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

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.

Philomath ⭐ 12

MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)

Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.

Related Searches

C Kernel (12,842)

C Video Game (4,242)

C Driver (4,106)

Python C (4,069)

C Firmware (3,545)

C Arduino (3,118)

C Command Line (2,475)

C Algorithms (2,333)

1-4 of 4 search results

Privacy | About | Terms | Follow Us On Twitter

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