A drop-in library for certain database functionality in Laravel, that allows for extra features that may never make it into the main project.
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
Compilation and Verification of Data-Centric Languages
- verification
- query-language
- query-engine
- functional-programming
ESPot - ElasticSearch Honeypot