Libraries tagged by formal
kendall-hopkins/formal-theory
9290 Downloads
FormalTheory is a library that allows for manipulation and conversion of NFAs, DFAs and Regular Expressions.
studiomitte/brevo
14115 Downloads
Integration of newsletter SaaS solution brevo.com (formally known as sendinblue) into TYPO3 CMS
dbp/relay-formalize-bundle
17433 Downloads
sorciulus/check-partita-iva
36304 Downloads
Libraries for the formal control of the Italian VAT ID
formal/orm
4858 Downloads
formal/access-layer
54137 Downloads
biladina/hijridatetime
6159 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
733 Downloads
save creator uid to all tables, formally know as cruser_id
biladina/yii2-hijridatetime
812 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
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.
iltuostudiodigitale/crm-connector
9 Downloads
Contratto e client per inviare i contatti raccolti dai form al CRM del gestionale.
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.
spidfire/formal
4879 Downloads