Skip to content
View 1sgtpepper's full-sized avatar
2 followers · 2 following

Block or report 1sgtpepper

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. 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

Pinned Loading

  1. scieqlint scieqlint Public

    Deterministic linter for scientific docs

    Python 8 3

  2. leo leo Public

    Forked from ProvableHQ/leo

    🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

    Rust

  3. llzk-lib llzk-lib Public

    Forked from project-llzk/llzk-lib

    Library for parsing, generating, and analyzing LLZK code.

    C++