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/brockaltug/cs-regex-hex-tutorial
Hexadecimal Regex Tutorial 🎨 Understand how regex validates hexadecimal color codes
anchors bracket-expressions css-colors flags hexadecimal-values javascript or-operator pattern-matching quantifiers regex regular-expressions validation-tool
Last synced: 28 Jul 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
