Skip to content
View empath-nirvana's full-sized avatar
5 followers · 0 following

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: QuickdrawAchievement: Starstruck

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: QuickdrawAchievement: Starstruck

Block or report empath-nirvana

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. magic-happens magic-happens Public

    A kubernetes operator you should never run under any circumstances

    Python 123 4

  2. bolo-formalization bolo-formalization Public

    A lean formalization of the From Linearity to Borrowing paper

    Lean 1

  3. borrow-core borrow-core Public

    A verified systems-language core: BoLo borrowing, CBPV, recursion, and a compiler to Wasm

    Lean 1

  4. applicationset applicationset Public

    Forked from argoproj/applicationset

    The ApplicationSet controller manages multiple Argo CD Applications as a single ApplicationSet unit, supporting deployments to large numbers of clusters, deployments of large monorepos, and enablin…

    Go

  5. secrets-store-csi-driver-provider-aws secrets-store-csi-driver-provider-aws Public

    Forked from aws/secrets-store-csi-driver-provider-aws

    Go

  6. cockroach-operator cockroach-operator Public

    Forked from cockroachdb/cockroach-operator-legacy

    k8s operator for CRDB

    Go