Pinned Loading

1. nvim nvim Public

   Neovim Configuration using Lua. Supports serveral IDE-like features.

   Lua 3

2. dotfiles dotfiles Public

   Forever wip

   Shell 2

3. vllm-project/vllm vllm-project/vllm Public

   A high-throughput and memory-efficient inference and serving engine for LLMs

   Python 91.6k 22.1k

4. leanprover-community/physlib leanprover-community/physlib Public

   A project to digitalise results from physics into Lean.

   Lean 739 186

5. postgres-tui postgres-tui Public

   Terminal UI For Postgres written in Rust

   Rust 3

6. l2learn l2learn Public

   Pure rust implementation of a mini gpt

   Rust 1