🌠
Highlights
- Pro
Starred repositories
emoji picker compatible with Linux systems using either XServer or Wayland with either Fcitx5 or IBus
Lean 4 theorem proving skill and workflow pack for AI coding agents
QualifiedDo notation for mixing monadic actions with Koka-style with statements
🥧 HTTPie CLI — modern, user-friendly command-line HTTP client for the API era. JSON support, colors, sessions, downloads, plugins & more.
A language for writing orchestration logic for AI agents
Nix expressions for VS Code Marketplace and Open VSX extensions [maintainers=@deemp, @ameertaweel]
Front Matter is a CMS running straight in Visual Studio Code. Can be used with static site generators like Hugo, Jekyll, Hexo, NextJs, Gatsby, and many more...
An implementation of the Language Server Protocol for LaTeX
VS Code extension for the Lean 4 programming language and theorem prover
Efficient non-empty variants of containers data types, with full API
Я - extremely composable embeddable programming language
A command-line utility to download songs and playlists directly from Spotify's servers
A community repository of common plugin specifications
A command-line utility to download songs and playlists directly from Spotify
A collection of formalized statements of conjectures in Lean.
An open-source cross-platform alternative to AirDrop
💼 Neovim plugin to manage global and project-local settings
🏙 A clean, dark Neovim theme written in Lua, with support for lsp, treesitter and lots of plugins. Includes additional themes for Kitty, Alacritty, iTerm and Fish.
Generate nix sources expr for the latest version of packages