An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with quantifiers

A curated list of projects in awesome lists tagged with quantifiers .

https://github.com/viperproject/smt-scope

SMTscope automatically analyses and visualises SMT solver execution traces.

axiom e-matching instantiation profiler quantifiers smt z3

Last synced: 09 Aug 2025

https://github.com/viperproject/axiom-profiler-2

SMTscope automatically analyses and visualises SMT solver execution traces.

axiom e-matching instantiation profiler quantifiers smt z3

Last synced: 13 May 2025

https://github.com/rangoo94/object-regexp

Match regular expressions on list of objects

formula js-engine objects parser quantifiers regexp regular-expression

Last synced: 26 Mar 2025

https://github.com/stefandeveloper/inference

Quantifiers and monotonicity in reasoning tasks

heidelberg-university inference monotonicity quantifiers

Last synced: 28 Dec 2025

https://github.com/leo-henrique/cartao-interativo

Criação de um cartão digital com validações rigorosas utilizando RegEx.

character-class flags javascript lookahead lookbehind quantifiers regex regex-match regex-replace scss vanilla-javascript

Last synced: 22 Feb 2025

https://github.com/francomano/planning_taxi_domain

A taxi domain modeled in PDDL. The objects in the chosen domain are taxis, people, and sidewalks. Taxis can park along a sidewalk or double-park and can move from one sidewalk to another

a-star adl conditional-statements heuristics pddl planning quantifiers strips taxi taxi-app

Last synced: 28 Jan 2026