← Latest products

Lean4 Datalog DSL Based on Google Zanzibar for AI Projects

Zil lang DSL for Lean 4. Google Zanzibar datalog lang lets you describe concepts and express how they are related.

Open source

34 stars · GitHubexternal site

Visit github.comexternal site

Reactions (1)

Similar products

by description similarity

  1. A No-Code UI for Managing Google-Zanzibar Style ReBAC

    news.ycombinator.com

    There’s been a lot of discussions [1,2] on how to build ReBAC [3] with Zanzibar and policy-as-code engines, but we (Permit) also think it’s important to talk about the interfaces on top of these implementations.

    Hacker News8 pts

  2. LeanRL

    github.com

    Fast PyTorch RL with Torch.compile and CUDA Graphs

    Hacker News53 pts

  3. Bike4Mind

    github.com

    open-core AI workbench; any model, agents, RAG, self-host

    Hacker News5 pts

  4. A new language for COBOL workloads

    github.com

    built on Go

    Hacker News5 pts

  5. PicoFlow

    news.ycombinator.com

    a tiny DSL-style Python library for LLM agent workflows

    Hacker News11 pts