Pinned Loading

1. ndpc ndpc Public

   Proof assistant for single sorted predicate logic

   Scala 13

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

   Lightweight, fast and async formatting and linting plugin for Neovim

   Lua 514 26

3. jiyi jiyi Public

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

   Dart 22 2

4. sefenbu sefenbu Public

   Visualizes color distribution for an image

   Rust 9

5. xingli xingli Public

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

   Haskell

6. STLC_Lean STLC_Lean Public

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

   Lean