Skip to content
View safix-afk's full-sized avatar
  • New York
  • 17:57 (UTC -12:00)

Block or report safix-afk

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. nextjs-blog-theme nextjs-blog-theme Public

    JavaScript

  2. agentive agentive Public

    TypeScript

  3. lean-wittgenstein lean-wittgenstein Public

    A formalization of Wittgenstein's Tractatus Logico-Philosophicus in Lean 4

    Lean

  4. CertiCSG CertiCSG Public

    Formal Verification of Stochastic Gradient Descent Convergence

    Lean

  5. suna suna Public

    Forked from kortix-ai/suna

    Suna - Open Source Generalist AI Agent

    TypeScript