Pinned Loading

1. lott lott Public

   An ott-like DSL embedded in Lean.

   Lean 2 1

2. KidneyOS/KidneyOS KidneyOS/KidneyOS Public

   Rust-based toy operating system

   Rust 17 2

3. starpath starpath Public

   A position-aware parser combinator library for OCaml with readable errors.

   OCaml

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

   Koka grammar for tree-sitter

   JavaScript 15 3

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