Pinned Loading

1. tabular-types tabular-types Public

   Proofs for Extensible Data Types with Ad-Hoc Polymorphism

   Lean 8

2. lott lott Public

   An ott-like DSL embedded in Lean.

   Lean 15 1

3. KidneyOS/KidneyOS KidneyOS/KidneyOS Public

   Rust-based toy operating system

   Rust 18 2

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

   Koka grammar for tree-sitter

   JavaScript 18 7

5. cmp-fish cmp-fish Public

   Fish shell completion source for nvim-cmp.

   Lua 31 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