predicates | Topic | Ecosyste.ms: Repos

Topic: "predicates"

dfunckt/django-rules

Awesome Django authorization, without the database

Language: Python - Size: 269 KB - Last synced at: 20 days ago - Pushed at: 8 months ago - Stars: 1,900 - Forks: 148

ftchirou/PredicateKit

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

Language: Swift - Size: 93.8 KB - Last synced at: 7 months ago - Pushed at: about 1 year ago - Stars: 406 - Forks: 19

npryce/hamkrest

Hamcrest for Kotlin

Language: Kotlin - Size: 780 KB - Last synced at: 16 days ago - Pushed at: 12 months ago - Stars: 344 - Forks: 31

mourner/robust-predicates

Fast robust predicates for computational geometry in JavaScript

Language: JavaScript - Size: 479 KB - Last synced at: 17 days ago - Pushed at: 10 months ago - Stars: 307 - Forks: 17

philbooth/check-types.js 📦

MOVED TO GITLAB

Language: JavaScript - Size: 589 KB - Last synced at: 20 days ago - Pushed at: over 7 years ago - Stars: 226 - Forks: 32

assert-rs/predicates-rs

Boolean-valued predicate functions in Rust

Language: Rust - Size: 721 KB - Last synced at: 7 days ago - Pushed at: 26 days ago - Stars: 191 - Forks: 29

dry-rb/dry-logic

Predicate logic with rule composition

Language: Ruby - Size: 763 KB - Last synced at: 3 days ago - Pushed at: 4 months ago - Stars: 177 - Forks: 63

JamieMason/expect-more

Curried Type Testing library, and Test Matchers for Jest

Language: TypeScript - Size: 1.62 MB - Last synced at: 24 days ago - Pushed at: about 2 years ago - Stars: 171 - Forks: 10

wookieb/predicates

Predicates for type checking, assertions, filtering etc

Language: TypeScript - Size: 357 KB - Last synced at: 8 days ago - Pushed at: almost 6 years ago - Stars: 89 - Forks: 1

vic/spec

Data specification conformance and generation for Elixir

Language: Elixir - Size: 78.1 KB - Last synced at: 11 days ago - Pushed at: almost 5 years ago - Stars: 78 - Forks: 3

OctoD/tiinvo

Simplify your TypeScript and JavaScript code. Use this lib and functional programming.

Language: TypeScript - Size: 2.58 MB - Last synced at: 3 days ago - Pushed at: 6 months ago - Stars: 40 - Forks: 1

dungba88/libra

Java Predicate, supports SQL-like syntax

Language: Java - Size: 445 KB - Last synced at: 4 days ago - Pushed at: over 1 year ago - Stars: 37 - Forks: 3

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."

Language: Crystal - Size: 140 KB - Last synced at: 26 days ago - Pushed at: almost 2 years ago - Stars: 33 - Forks: 4

phillord/assess

Test support functions for Emacs

Language: Emacs Lisp - Size: 178 KB - Last synced at: 29 days ago - Pushed at: about 1 year ago - Stars: 32 - Forks: 5

dpmcmlxxvi/de9im

DE-9IM spatial predicate library implemented in Javascript.

Language: JavaScript - Size: 995 KB - Last synced at: 18 days ago - Pushed at: almost 3 years ago - Stars: 30 - Forks: 3

eberban/eberban

Parser and dictionary for the eberban language.

Language: JavaScript - Size: 23.4 MB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 27 - Forks: 5

santanusinha/json-rules

JSON serializable rules to match Jackson JsonNodes using JSON Pointers

Language: Java - Size: 313 KB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 26 - Forks: 21

adobe/json-formula

Query language for JSON documents

Language: JavaScript - Size: 10.3 MB - Last synced at: 3 days ago - Pushed at: 18 days ago - Stars: 21 - Forks: 8

santanusinha/hope

Predicate expression language

Language: Java - Size: 327 KB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 17 - Forks: 13

JuliaGeometry/AdaptivePredicates.jl

AdaptivePredicates.jl: Port of Shewchuk's robust predicates into Julia.

Language: Julia - Size: 125 KB - Last synced at: 10 days ago - Pushed at: 8 months ago - Stars: 15 - Forks: 2

SeanCannon/prettycats

Common predicates for validating objects

Language: JavaScript - Size: 456 KB - Last synced at: 20 days ago - Pushed at: almost 2 years ago - Stars: 15 - Forks: 3

sebinsua/react-redux-wizard

:sparkles: A simple wizard for React.

Language: JavaScript - Size: 120 KB - Last synced at: 9 days ago - Pushed at: about 8 years ago - Stars: 10 - Forks: 3

mvallim/java-fluent-validator-predicates

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.

Language: Java - Size: 129 KB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 8 - Forks: 0

PhonePe/mustang

Search engine for Rules - Indexing boolean expressions at scale

Language: Java - Size: 822 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 6 - Forks: 5

sachinlala/SimplifyLearning

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

Language: Java - Size: 2.26 MB - Last synced at: 3 days ago - Pushed at: almost 2 years ago - Stars: 6 - Forks: 10

tesseradecade/swi-orm

Prolog translator, query builder, ORM

Language: Python - Size: 31.3 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 6 - Forks: 0

andjsrk/typesafe-guard

A utility for creating type-safe user-defined type guard for TypeScript

Language: TypeScript - Size: 39.1 KB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 5 - Forks: 0

Toobo/Hop

Higher-order functional predicates.

Language: PHP - Size: 38.1 KB - Last synced at: 4 months ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 0

KyoriPowered/filter 📦

A powerful alternative to predicates in Java.

Language: Java - Size: 286 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 5 - Forks: 0

rahul1947/Logic-Programming

Logic Programming using Prolog.

Language: Prolog - Size: 24.8 MB - Last synced at: 7 days ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 4

athanclark/pred-trie

predicative lookup container

Language: Haskell - Size: 1.6 MB - Last synced at: 3 days ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 0

JEBailey/sling-resourcelocator

Apache Sling Resource Locator Utility

Language: Java - Size: 211 KB - Last synced at: 15 days ago - Pushed at: about 7 years ago - Stars: 5 - Forks: 1

rubenandrebarreiro/game-of-thrones-knowledge-base-representation-checker

⚔️ 🛡️ 🐲 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!

Language: Prolog - Size: 5.51 MB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 4 - Forks: 1

avegera/predicate4j

Java predicate builder with expressive fluent API

Language: Java - Size: 139 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 3 - Forks: 0

vangware/predicates 📦

🧐 Predicate util functions

Language: TypeScript - Size: 228 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 0

wallscope/pronto

Pronto is an ontology search engine that provides fuzzy search capabilities across a number of popular ontologies. Check our demo here: https://pronto.wallscope.co.uk/

Language: Vue - Size: 10.7 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 1

guneysus/predicate-builder

Simple predicate string parser

Language: C# - Size: 16.1 MB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 0

jw-s/valin

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

Language: Kotlin - Size: 61.5 KB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 3 - Forks: 0

Oaxoa/fp-filters

A curated list of ready-to-use (functional programming) filters (TS / ESM / CJS)

Language: TypeScript - Size: 683 KB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 2 - Forks: 0

dfpaulino/ruleEvaluatorService

Core component to evaluate rules (combination of predicates)

Language: Java - Size: 171 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 2 - Forks: 0

vinaybhide/MarketAnalytics

Market Analytics - .Net Core framework based global financial analysis application. Supports global stocks, ETF, Futures, Indexes and Mutual Funds

Language: C# - Size: 1.77 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

go-toolsmith/astp

Package astp provides AST predicates.

Language: Go - Size: 16.6 KB - Last synced at: 3 days ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 1

taburetkin/predicates-js

small lib for creating and reusing predicates on the backend and frontend

Language: JavaScript - Size: 516 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

waynevanson/filter-ts

Predicates, Refinements, Definements for fp-ts ecosystem

Language: TypeScript - Size: 764 KB - Last synced at: 4 days ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0

ap-atul/Goal-Stack-Planning

Goal Stack Planning implementation

Language: Python - Size: 17.6 KB - Last synced at: 24 days ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 1

lamg/predicate

Parsing, evaluating and textually representing predicates

Language: Go - Size: 90.8 KB - Last synced at: 14 days ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0

rchillyard/LaScala

A fairly extensive set of functional programming classes to complement what's in the standard Scala library.

Language: Scala - Size: 27.4 MB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 2

intdxdt/robustpy

robust arithmetic in python

Language: Python - Size: 70.3 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0

formulae-org/package-logic-js

Logic package for Fōrmulæ, in JavaScript

Language: JavaScript - Size: 70.3 KB - Last synced at: 26 days ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0

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.

Language: C# - Size: 837 KB - Last synced at: 6 days ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

hraoyama/decorules

tiny python decorator library for (A) enforcing class structure and instance behavior on class hierarchies (B) invoking user defined functionality based on object state.

Language: Python - Size: 156 KB - Last synced at: 17 days ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

vangware/libraries 📦

📚 Vangware libraries monorepo

Language: TypeScript - Size: 1.02 MB - Last synced at: 5 days ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

go-toolsmith/typep

Package typep provides type predicates.

Language: Go - Size: 22.5 KB - Last synced at: 10 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 3

rabestro/fizzbuzz-filter

Small exercises for programming Stream API predicates.

Language: Java - Size: 43.9 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

madhurimarawat/Ruby-Programming

This repository contains programs in the Ruby Programming Language.

Language: Ruby - Size: 62.5 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

Stassi/dechainer

Functional utilities.

Language: TypeScript - Size: 2.19 MB - Last synced at: 9 months ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

urvishjarvis1/unificationalgorithm

The Prolog Unification algorithm

Language: Java - Size: 34.2 KB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

pprattis/kakuro-game-implementation

A script that implements a solution for the game Kakuro by assigning a variable to each empty square.

Language: Prolog - Size: 12.7 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

pprattis/predicate-and-array-items

A script that has the predicate common_list (X, Y) that is true when both lists have at least one common element.

Language: Prolog - Size: 4.88 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

pprattis/family-representation-using-predicates

Represent one family as well as 3-4 more families (of your choice) using the family-3 predicate and appropriate compound terms. Set the predicates exist-1, dateofbirth-2 and salary-2 and use them to recover all parents born before 1950 and their salary is less than 8,000.

Language: Prolog - Size: 7.81 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

lexus27/php-abac

Attribute Based Access Control in PHP

Language: PHP - Size: 37.1 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

rubenandrebarreiro/fct-nova-knowledge-base-representation-checker

🎓 👨‍🎓 📚 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 Faculty of Sciences and Technology of New University of Lisbon, through a knowledge base representation, built with facts, predicates and rules, among many others!

Language: Prolog - Size: 2.48 MB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

prasadrpm/Java8

Language: Java - Size: 14.6 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

mtumilowicz/java11-predicate

Java 11 Predicate Interface.

Language: Java - Size: 58.6 KB - Last synced at: 2 months ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

eugeniobruno/logica

Logica is a framework to reify and work with predicates.

Language: Ruby - Size: 29.3 KB - Last synced at: 4 days ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0

athanclark/almost-fix

Combinators for predicative recursion

Language: Haskell - Size: 113 KB - Last synced at: 2 months ago - Pushed at: almost 10 years ago - Stars: 1 - Forks: 0

nberlette/is

Just another portable platform-agnostic package of high-performance type predicates. 🤪

Language: TypeScript - Size: 0 Bytes - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

shoaib1522/Discrete-Structures

This is the proper channel and a repository for all of you to learn Discrete Structures to understand the basic concepts of Mathematics in Computer Science.

Language: Jupyter Notebook - Size: 64.1 MB - Last synced at: 20 days ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

matgat/ascii_predicates

A constexpr type safe replacement of <cctype> for c++20

Language: C++ - Size: 105 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

Diarmuid-ODonoghue/Text2Pred

Extract predicates from open English, using Stanford parser. Python using StanfordCoreNLP

Language: Python - Size: 53.7 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

ITger/Wine_reviews

wine reviews with variety, location, winery, price, and description

Language: Java - Size: 17.4 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

ArtDu/LP

Logic programming

Language: Prolog - Size: 15.8 MB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 5

Kevded/demo-java-predicates

Example using Predicates and Functions Java.util.*

Language: Java - Size: 65.4 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

pechenushkaaa/AI-systems-Lab1

Системы искусственного интеллекта (ЛР №1)

Language: Prolog - Size: 6.84 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

5x/prolog-elegant-predicate-collection

Examples of helpful predicates that demonstrate an elegant programming in Prolog.

Language: Prolog - Size: 7.81 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

TeamworkGuy2/JFunc

Filler interfaces for missing or difficult to use java.util.function types. Includes primitive consumers, suppliers, and predicates.

Language: Java - Size: 190 KB - Last synced at: over 1 year ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

anandprabhakar0507/Apply-predicates

I learned to apply predicates using oracle live sql cloud database--Anand prabhakar

Size: 14.6 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

predicode/predicator 📦

Predicate calculus library

Language: Java - Size: 96.7 KB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 1