xiaoshihou514 (xiaoshihou) · GitHub
Skip to content
View xiaoshihou514's full-sized avatar
38 followers · 8 following

Achievements

Achievement: Public SponsorAchievement: StarstruckAchievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: YOLO

Achievements

Achievement: Public SponsorAchievement: StarstruckAchievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: YOLO

Organizations

@nvimdev

Block or report xiaoshihou514

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. 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
xiaoshihou514/README.md

All

Public work

Recent commits

Pinned Loading

  1. ndpc ndpc Public

    Proof assistant for single sorted predicate logic

    Scala 14

  2. nvimdev/guard.nvim nvimdev/guard.nvim Public

    Lightweight, fast and async formatting and linting plugin for Neovim

    Lua 516 26

  3. jiyi jiyi Public

    跨平台加密语音日志应用 | cross-platform encrypted voice note app

    Dart 27 4

  4. sefenbu sefenbu Public

    Visualizes color distribution for an image

    Rust 10

  5. xingli xingli Public

    教学Lambda式类型推导器 | Educational lambda calculus typer

    Haskell

  6. STLC_Lean STLC_Lean Public

    λ式类型推导的Lean形式化证明 | Lean formalization of λ calculus type inference

    Lean