starlark-lang

Here are 3 public repositories matching this topic...

Official Bazel port of Sqids. Generate short unique IDs from numbers.

hashids id bazel uid unique-id id-generator unique-id-generator short-url short-id starlark starlark-lang starlark-language sqids

A repository for showcasing my knowledge of the Starlark programming language, and continuing to learn the language

Temporal Logic of Actions in Rust via Starlark

python rust formal-methods formal-verification tla tla-plus tlaplus starlark starlark-lang

Add a description, image, and links to the starlark-lang topic page so that developers can more easily learn about it.

To associate your repository with the starlark-lang topic, visit your repo's landing page and select "manage topics."