Skip to content
@bazelverse

bazelverse

A collection of community rulesets for the Bazel build system
README.md

Pinned Loading

  1. rules_aya_ebpf rules_aya_ebpf Public

    Bazel rules to build aya eBPF binaries

    Starlark 1

  2. rules_lean rules_lean Public

    Bazel rules for Lean 4 and Mathlib

    Starlark 1

Repositories

Showing 7 of 7 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…