5 projects
ppbench
A benchmark for LLM reasoning with verifiable logic puzzles
sketch
Compute, store and operate on data sketches
lambdaprompt
A functional programming interface for building AI systems
datadm
DataDM is your private data assistant. Slide into your data's DMs
yomi
Tools for running tournaments of AI agents against each-other
