8000 sergeynordicresults (Serhii Khoma) · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View sergeynordicresults's full-sized avatar
  • Joined Jul 8, 2025

Achievements

Achievement: Quickdraw

Achievements

Achievement: Quickdraw

Block or report sergeynordicresults

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. lean-pipes lean-pipes Public

    Lean

  2. colorized colorized Public

    Forked from algebraic-dev/colorized

    🌈 | A Lean 4 library designed to enhance terminal output with vibrant ANSI escape sequences.

    Lean

  3. coq-haskell coq-haskell Public

    Forked from jwiegley/coq-haskell

    A library for formalizing Haskell types and functions in Coq

    Coq

  4. cursor-free-vip cursor-free-vip Public

    Forked from yeongpin/cursor-free-vip

    [Support 0.49.x]（Reset Cursor AI MachineID & Bypass Higher Token Limit） Cursor Ai ，自动重置机器ID ， 免费升级使用Pro功能: You've reached your trial request limit. / Too many free trial accounts used on this machi…

    Python

  5. KlicStudio KlicStudio Public

    Forked from krillinai/KlicStudio

    A video translation and dubbing tool powered by LLMs, offering professional-grade translations and one-click full-process deployment. It can generate content optimized for platforms like YouTube，T…

    Go

  6. lean-glob lean-glob Public

    Lean

0