David Phillips

Author of Trino, Presto

Starred Projects (6)

beads by gastownhall

Memory system for AI coding agents

hiyouga:

vanpelt:

thinkall:

gregpr07:

Created 6 months ago

Updated 13 hours ago

WrenAI by Canner

GenBI agent for querying databases with natural language

alexey-milovidov:

marcklingen:

transitive-bullshit:

chiphuyen:

Created 2 years ago

Updated 6 days ago

llama3.java by mukel

Java library for Llama 3 inference

Created 1 year ago

Updated 1 day ago

vhs by charmbracelet

CLI tool for recording terminal GIFs as code

amin3141:

joewalnes:

cournape:

paul-gauthier:

Created 3 years ago

Updated 6 days ago

deepstate by trailofbits

Testing framework for fuzzing and symbolic execution of C/C++ code

gakonst:

Created 8 years ago

Updated 7 months ago

P by p-org

Formal modeling and analysis for distributed systems

bcherny:

amin3141:

hammer:

hsbt:

Created 10 years ago

Updated 4 weeks ago

Feedback? Help us improve.