Nix expressions for VS Code Marketplace and Open VSX extensions [maintainers=@deemp, @ameertaweel]

ICPC notebook

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

SKK dictionary maintenance tools

Я - extremely composable embeddable programming language

A command-line utility to download songs and playlists directly from Spotify's servers

Setoid type theory implementation

A community repository of common plugin specifications

Dex to Java decompiler

Python library for CTFer

A command-line utility to download songs and playlists directly from Spotify

Open Source Spotify client library

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.

A sleek, customizable Discord theme.

Generate nix sources expr for the latest version of packages

🎥 Make videos programmatically with React

Display math in TeX with KaTeX and ReactJS

A keyboard input remapper for Linux/Wayland systems, written by @wez

Edit your flake inputs with ease.

A prototype for a monadic program logic in Lean that has since been upstreamed into the Lean 4 repo

A Lean tactic that invokes the Kimina Prover Preview model to offer proof suggestions.