Pinned Loading

1. tabular-types tabular-types Public

   Lean 2

2. lott lott Public

   An ott-like DSL embedded in Lean.

   Lean 6 1

3. KidneyOS/KidneyOS KidneyOS/KidneyOS Public

   Rust-based toy operating system

   Rust 17 2

4. koka-community/tree-sitter-koka koka-community/tree-sitter-koka Public

   Koka grammar for tree-sitter

   JavaScript 17 5

5. cmp-fish cmp-fish Public

   Fish shell completion source for nvim-cmp.

   Lua 32 2

6. iter iter Public archive

   Package iter provides generic, lazy iterators, functions for producing them from primitive types, as well as functions and methods for transforming and consuming them.

   Go 33 2