Projects in Awesome Lists tagged with predicate-logic

https://github.com/dry-rb/dry-logic

Predicate logic with rule composition

dry-rb gem library predicate-logic predicates ruby rubygem rule-engine

Last synced: 14 May 2025

https://github.com/santanusinha/hope

Predicate expression language

filter filtering jackson java json json-path predicate-logic predicates rule-engine rules

Last synced: 16 Aug 2025

https://github.com/catseye/maxixe

MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker

dsl natural-deduction predicate-logic proof proof-checker proof-checking proof-language propositional-logic

Last synced: 12 Apr 2025

https://github.com/toobo/hop

Higher-order functional predicates.

assertion-library filtering functional-programming higher-order-functions predicate-logic predicates

Last synced: 30 Dec 2025

https://github.com/leoprover/tptp-utils

Library for TPTP-related utility services

automated-reasoning linter logic parser predicate-logic preprocessor theorem-prover theorem-proving tptp

Last synced: 19 May 2026

https://github.com/oelin/fol

A semantically accurate implementation of first-order logic in JavaScript 👩‍🏫.

computer-science first-order-logic javascript logic predicate-logic

Last synced: 15 May 2026

https://github.com/evitanrelta/predicate-hof

TypeScript higher-order-functions to combine or negate predicates without evaluating them.

higher-order-functions javascript node-js nodejs predicate predicate-logic typescript

Last synced: 11 Apr 2025

https://github.com/formulae-org/package-logic-js

Logic package for Fōrmulæ, in JavaScript

conditional conjunction disjunction equivalence exclusive-disjunction existential-quantifier formulae javascript logic negation predicate-logic predicates universal-quantifiers

Last synced: 12 Oct 2025

https://github.com/pfpack/pfpack-primitives

PrimeFuncPack Primitives is a core library for .NET consisting of useful extensions and predicates making work with functional pipelines, Linq, strings, the nullable feature, etc. easier.

csharp dotnet dotnet-core functional-programming linq nullability pipeline pipeline-framework pipeline-library pipelines predicate predicate-functions predicate-logic predicate-methods predicates yield

Last synced: 05 May 2026

https://github.com/rabestro/fizzbuzz-filter

Small exercises for programming Stream API predicates.

filtering integer-sequences integers predicate-functions predicate-logic predicates stream-api

Last synced: 20 Jun 2025

https://github.com/isopod00/fo3_to_cor_translation

This project aims to translate First-Order 3-variable (FO3) predicate logic into the Calculus of Relations (CoR).

predicate-logic relation-algebra z3

Last synced: 04 Feb 2026

https://github.com/mreliptik/predicatelogictableaux

A simple tool to represent predicate logic and assess formulas using tableaux method

logic predicate-logic python3 tableaux

Last synced: 11 Jul 2025

https://github.com/ewdlop/logic-note

boolean-logic computer-assisted-proof first-order-logic formal-logic fuzzy-logic many-valued-logic modal-logic predicate-logic proofs-as-programs propositional-calculus three-state-logic three-valued-logic

Last synced: 03 Nov 2025

https://github.com/ethanorlander/cisc-204-tool

Jape 2.0?

jape logic natural-deduction natural-logic predicate-logic propositional-logic

Last synced: 08 Jul 2025

https://github.com/query-farm/python-sql-manipulation

A Python library for intelligent SQL predicate manipulation using SQLGlot. This library provides tools to safely remove specific predicates from SQL WHERE clauses and filter SQL statements based on column availability.

predicate-filtering predicate-logic predicate-pushdown sql sqlglot

Last synced: 05 Sep 2025