knurl's Stars
apache/ignite
Apache Ignite
digitalemil/HortonsGym
knurl/bigbang
Automatically terraform a fresh Starburst cluster in AWS, Azure or GCP, with some databases and a lake, and your new sandbox awaits.
trinodb/trino
Official repository of Trino, the distributed SQL query engine for big data, formerly known as PrestoSQL (https://trino.io)
diffblue/cbmc
C Bounded Model Checker