I built

Lean4 Datalog DSL Based on Google Zanzibar for AI Projects

Built by @hn:kbradero · github.com/jagg-ix/zil-lean

via Hacker Newsby hn:kbradero ↗· community-imported

9 people want it.

Who's asking for this

“Someone is looking for this — identity hidden”

@••••••••••••••• ·

“Someone is looking for this — identity hidden”

@•••••••• ·

“Someone is looking for this — identity hidden”

@••••••••••••••• ·

“Someone is looking for this — identity hidden”

@•••••••••••••• ·

“Someone is looking for this — identity hidden”

@••••• ·

Want this too?

IwantIbuild is a demand board for indie builders. Search what you wish existed and find who already shipped it — or post the thing you built and watch the demand for it add up.

Find more tools like this →