xiaoshihou514
Follow
-
-
xiaoshihou514.github.io Public
https://xiaoshihou514.github.io
Markdown GNU General Public License v3.0 UpdatedApr 1, 2026 -
ndpc Public
Proof assistant for single sorted predicate logic
-
-
-
STLC_Lean Public
λ式类型推导的Lean形式化证明 | Lean formalization of λ calculus type inference
Lean GNU General Public License v3.0 UpdatedMar 9, 2026 -
xingli Public
教学Lambda式类型推导器 | Educational lambda calculus typer
Haskell GNU General Public License v3.0 UpdatedMar 9, 2026 -
jiyi Public
跨平台加密语音日志应用 | cross-platform encrypted voice note app
-
git-mirror Public
Easily setup multiple git remotes
Shell GNU General Public License v3.0 UpdatedMar 3, 2026 -
chengfen Public
Toy tool that visualizes language distribution in git repository, an execuse to try out lisp
-
Raw raster files (PNG) from openstreetmap.org, 2025.5
UpdatedFeb 24, 2026 -
sefenbu Public
Visualizes color distribution for an image
-
-
git-biance Public
可视化队友干了多少活，鞭策你的队友 | visualize code contributions
-
-
-
aristotle Public
Easy to use gui frontend for ndpc
-
-
-
-
typst-packages Public
Forked from typst/packagesPackages for Typst.
Rust Apache License 2.0 UpdatedDec 20, 2025 -
guard.nvim Public
Forked from nvimdev/guard.nvimasync fast minimalist plugin make format easy in neovim
-
-
-
-
parsley Public
Forked from j-mie6/parsleyA fast and modern parser combinator library for Scala
Scala BSD 3-Clause "New" or "Revised" License UpdatedJul 13, 2025 -
-
-
packages Public
Forked from terrapkg/packagesMonorepo for Terra Packages
Roff GNU General Public License v3.0 UpdatedMar 30, 2025 -
git-conflict.nvim Public
Forked from akinsho/git-conflict.nvimA plugin to visualise and resolve merge conflicts in neovim
Lua UpdatedMar 15, 2025