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

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