predicates

Awesome Django authorization, without the database

Hamcrest for Kotlin

🎯 PredicateKit allows Swift developers to write expressive and type-safe predicates for CoreData using key-paths, comparisons and logical operators, literal values, and functions.

MOVED TO GITLAB

Fast robust predicates for computational geometry in JavaScript

Predicate logic with rule composition

Boolean-valued predicate functions in Rust

Predicates for type checking, assertions, filtering etc

Data specification conformance and generation for Elixir

Functions for tacit programming and functional types for TypeScript and JavaScript.

Test support functions for Emacs

Java Predicate, supports SQL-like syntax

Schemas come to solve a simple problem. Sometimes we would like to have type-safe guarantee params when parsing HTTP parameters or Hash(String, String) for a request moreover; Schemas is to resolve precisely this problem with the added benefit of performing business rules validation to have the params adhere to a "business schema."

DE-9IM spatial predicate library implemented in Javascript.

JSON serializable rules to match Jackson JsonNodes using JSON Pointers

Predicate expression language

Common predicates for validating objects

Parser and dictionary for the eberban language.

✨ A simple wizard for React.

Basic and advanced Algorithms, written in Java, built w/ Gradle, CI thru TravisCI, covered w/ JaCoCo and coverage reported thru Coveralls.

Prolog translator, query builder, ORM

A powerful alternative to predicates in Java.

Apache Sling Resource Locator Utility

predicative lookup container

⚔️ 🛡️ 🐲 A project based in Knowledge Base Representation and Logic Programming. This project was built using Prolog, with the support of SWISH and SWI-Prolog. The project it's a simple application to allow to make checks, verifications and queries, about some informations and data, of the TV Show Series of Game of Thrones, through a knowledge base representation, built with facts, predicates and rules, among many others!

Java Fluent Validator is inspired by Fluent Interface and .Net FluentValidation allowing Java and Kotlin developers write validations in a fluent and performatic way. Predicates are the base for the project and make even easier to build your validators. You will find some built-in predicates in this project that will speed up your development.

Logic Programming using Prolog.

Valin is a validation library for Kotlin, used to validate keys within any type of map.

Goal Stack Planning implementation

robust arithmetic in python