← 최신 프로덕트

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.

오픈소스

34 스타 · GitHub외부 사이트

github.com 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  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점

  2. LeanRL

    github.com

    Fast PyTorch RL with Torch.compile and CUDA Graphs

    Hacker News53점

  3. Bike4Mind

    github.com

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

    Hacker News5점

  4. A new language for COBOL workloads

    github.com

    built on Go

    Hacker News5점

  5. PicoFlow

    news.ycombinator.com

    a tiny DSL-style Python library for LLM agent workflows

    Hacker News11점