Libraries tagged by formal
kendall-hopkins/formal-theory
7625 Downloads
FormalTheory is a library that allows for manipulation and conversion of NFAs, DFAs and Regular Expressions.
studiomitte/brevo
13145 Downloads
Integration of newsletter SaaS solution brevo.com (formally known as sendinblue) into TYPO3 CMS
dbp/relay-formalize-bundle
16858 Downloads
sorciulus/check-partita-iva
34931 Downloads
Libraries for the formal control of the Italian VAT ID
formal/orm
4681 Downloads
formal/access-layer
51294 Downloads
teoprayoga/laravel-teorion
530 Downloads
Request-driven query filter package for Laravel — formalized ScopeFilterTrait pattern with whitelist, isolated scope params, and single-call ViewModel support.
biladina/hijridatetime
5680 Downloads
Hijri Date Time - Library for using Hijri date time, compatible with 'Umm al-Qura' formal calendar in Saudi Arabia and the Muslim world
svenjuergens/cruserid
433 Downloads
save creator uid to all tables, formally know as cruser_id
c01l/formal-theory
206 Downloads
FormalTheory is a library that allows for manipulation and conversion of NFAs, DFAs and Regular Expressions.
formaldehid/php-web3
260 Downloads
PHP implementation Ethereum javascript API
radebatz/phprules
222 Downloads
PHP Rules is a rule engine that models formal propositional logic.
biladina/yii2-hijridatetime
690 Downloads
Hijri Date Time - Yii2 Extension for using Hijri date time, compatible with 'Umm al-Qura' formal calendar in Saudi Arabia and the Muslim world
studiomitte/sendinblue
7180 Downloads
Integration of newsletter SaaS solution brevo.com (formally known as sendinblue) into TYPO3 CMS
witrin/formal-theory
18626 Downloads
FormalTheory is a library that allows for manipulation and conversion of NFAs, DFAs and Regular Expressions.