-
Goethe-Universität Frankfurt am Main
- https://orcid.org/0000-0001-7727-1181
Stars
An automated prover that verifies the equivalence of SQL queries
An extended table to integration with some of the most widely used CSS frameworks. (Supports Bootstrap, Semantic UI, Bulma, Material Design, Foundation, Vue.js)
A rehost of the python version of SPArse Modeling Software (SPAMS)