Skip to content

@theoremlp Theorem

Change the repository type filter

All

    Repositories list

    18 repositories

    • ociupdate

      Public
      Rust
      •
      Apache License 2.0
      •1•1•1•4•Updated Aug 1, 2025Aug 1, 2025

    • bazel-central-registry

      Public
      The central registry of Bazel modules for the Bzlmod external dependency system.
      Starlark
      •
      Apache License 2.0
      •509•0•0•0•Updated Aug 1, 2025Aug 1, 2025

    • prettier-standalone

      Public
      Standalone binaries for prettier built with Bun.
      TypeScript
      •
      MIT License
      •0•5•2•1•Updated Aug 1, 2025Aug 1, 2025

    • rules_mypy

      Public
      a Bazel mypy aspect
      Starlark
      •
      Apache License 2.0
      •14•31•11•4•Updated Aug 1, 2025Aug 1, 2025

    • rules_uv

      Public
      Bazel rules for running uv
      Starlark
      •
      Apache License 2.0
      •28•78•16•4•Updated Aug 1, 2025Aug 1, 2025

    • required-reviews

      Public
      TypeScript
      •2•3•0•0•Updated Aug 1, 2025Aug 1, 2025

    • conjure-openapi

      Public
      Conjure generator for OpenApi
      Java
      •
      Apache License 2.0
      •0•4•1•1•Updated Aug 1, 2025Aug 1, 2025

    • pagerduty-alert

      Public
      A simple GitHub Action to trigger PagerDuty incidents.
      TypeScript
      •0•0•0•1•Updated Aug 1, 2025Aug 1, 2025

    • multitool

      Public
      Companion CLI to rules_multitool
      Rust
      •
      Apache License 2.0
      •6•4•5•5•Updated Jul 31, 2025Jul 31, 2025

    • rules_multitool

      Public
      Bazel rules for ergonomic tool definitions
      Starlark
      •
      Apache License 2.0
      •13•44•11•0•Updated Jul 25, 2025Jul 25, 2025

    • rules_pydeps

      Public
      a Bazel Python deps enforcer
      Python
      •
      Apache License 2.0
      •1•8•2•1•Updated Jul 15, 2025Jul 15, 2025

    • bazel8_problem_repro

      Public
      Starlark
      •0•0•0•0•Updated Dec 10, 2024Dec 10, 2024

    • rules_python_repro

      Public
      Starlark
      •0•0•0•0•Updated Oct 22, 2024Oct 22, 2024

    • sklearn2pmml

      Public
      Python library for converting Scikit-Learn pipelines to PMML
      Python
      •
      GNU Affero General Public License v3.0
      •114•0•0•0•Updated Mar 20, 2024Mar 20, 2024

    • autosquash

      Public
      0•0•0•0•Updated Feb 12, 2024Feb 12, 2024

    • gradle-github-packages-plugin

      Public
      Publish to GitHub Packages
      githubgradlepublish
      Java
      •
      Apache License 2.0
      •1•0•0•0•Updated Jul 10, 2023Jul 10, 2023

    • asdf-ec2-instance-selector

      Public
      Shell
      •
      Apache License 2.0
      •0•1•0•0•Updated Apr 28, 2023Apr 28, 2023

    • aws-google-auth

      Public archive
      Provides AWS STS credentials based on Google Apps SAML SSO auth (what a jumble!)
      Python
      •
      MIT License
      •178•1•0•0•Updated Apr 19, 2022Apr 19, 2022