Pinned Loading

1. intuitive intuitive Public

   A library for building declarative text-based user interfaces

   Rust 213 3

2. tabs.kak tabs.kak Public

   Kakoune buffers as tabs in the status line.

   Rust 26 3

3. rmtemplates-frontend rmtemplates-frontend Public

   rm.ezb.io - reMarkable template sharer

   TypeScript 5 1

4. lean.kak lean.kak Public

   Minimal Lean syntax highlighting, intermediate evaluation, and LaTeX completions

   2

5. XaTeLite XaTeLite Public

   Latex over SSH + HTTP

   Python 1

6. buffon-lean buffon-lean Public

   buffon's needle in lean 4

   Lean 2