Libraries tagged by formal

✅ Nette Code Checker: finds and fixes formal errors in PHP, Latte, NEON, JSON and YAML files, such as encoding, line endings, indentation and trailing whitespace.

Go to Download

FormalTheory is a library that allows for manipulation and conversion of NFAs, DFAs and Regular Expressions.

Go to Download

Integration of newsletter SaaS solution brevo.com (formally known as sendinblue) into TYPO3 CMS

Go to Download

Go to Download

Libraries for the formal control of the Italian VAT ID

Go to Download

Go to Download

Go to Download

Hijri Date Time - Library for using Hijri date time, compatible with 'Umm al-Qura' formal calendar in Saudi Arabia and the Muslim world

Go to Download

Request-driven query filter package for Laravel — formalized ScopeFilterTrait pattern with whitelist, isolated scope params, and single-call ViewModel support.

Go to Download

save creator uid to all tables, formally know as cruser_id

Go to Download

Hijri Date Time - Yii2 Extension for using Hijri date time, compatible with 'Umm al-Qura' formal calendar in Saudi Arabia and the Muslim world

Go to Download

Go to Download

Twig components for the Formalism field style framework

Go to Download

PHP implementation Ethereum javascript API

Go to Download

Reflective is a formally defined reflection mechanism in PHP, which is used to query detailed information about classes, methods, properties, functions, etc.

Go to Download