8000 garrick247 · GitHub
[go: up one dir, main page]
Skip to content
View garrick247's full-sized avatar
0 followers · 1 following

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pair Extraordinairex3Achievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pair Extraordinairex3Achievement: Pull Sharkx2

Block or report garrick247

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. VortexSTARK VortexSTARK Public

    GPU Circle STARK prover for SM_120 (Blackwell/RTX 5090)

    Rust 1

  2. opencuda opencuda Public

    Open-source CUDA compiler - C kernel to SM_120 cubin via OpenPTXas

    Cuda 1

  3. openptxas openptxas Public

    Open-source PTX assembler for SM_120 - 34 encoders, scoreboard emulator, ptxas bug fix

    Python

  4. gpudiff gpudiff Public

    Differential cubin tester for GPU compilers

    Python

  5. forge-loop forge-loop Public

    Autonomous LLM-driven differential-compiler-improvement loop

    Python

  6. forge forge Public

    FORGE: Formally verified systems programming language. Compiler is a theorem prover. Nothing ships without a proof.

    OCaml

0