zanzibar-annotated
zanzibar-annotated copied to clipboard
Google's Zanzibar paper annotated for folks outside of Google
Results
5
zanzibar-annotated issues
Sort by
recently updated
recently updated
newest added
Bumps the npm group with 16 updates in the / directory: | Package | From | To | | --- | --- | --- | | [@headlessui/react](https://github.com/tailwindlabs/headlessui/tree/HEAD/packages/@headlessui-react) | `1.7.18` |...
dependencies
javascript
How did you create https://github.com/authzed/zanzibar-annotated/blob/main/content/zanzibar.mdx ? Is there some generator you used? I'd like to use it for annotating papers for public myself but would need to have a PDF->MDX...
Bumps the npm group with 17 updates in the / directory: | Package | From | To | | --- | --- | --- | | [@headlessui/react](https://github.com/tailwindlabs/headlessui/tree/HEAD/packages/@headlessui-react) | `1.7.18` |...
dependencies
javascript