SteveUlin

better-escape.nvim

Map keys without delay when typing

nixvim

Configure Neovim with Nix! [maintainer=@GaetanLepage, @traxys, @mattsturgeon]

nixpkgs-neorg-overlay

Nixpkgs overlay for Neorg and related packages

hardtime.nvim

A Neovim plugin helping you establish good command workflow and quit bad habit

telescope-live-grep-args.nvim

Live grep with args

everforest-nvim

A Lua port of the Everforest colour scheme

telescope-file-browser.nvim

File Browser extension for telescope.nvim

log-highlight.nvim

Generic log syntax highlighting and filetype management for Neovim

tree-sitter-norg

A TreeSitter parser for the Neorg File Format

bufferline.nvim

A snazzy bufferline for Neovim

typst

A new markup-based typesetting system that is powerful and easy to learn.

fishmarks

Bookmark and jump to directories faster than a sailfish! Fishmarks is a clone of bashmarks for the Fish shell.

copilot-cmp

Lua plugin to turn github copilot into a cmp source

copilot.lua

Fully featured & enhanced replacement for copilot.vim complete with API for interacting with Github Copilot

vim-jukit

Jupyter-Notebook inspired Neovim/Vim Plugin

vim-wordmotion

More useful word motions for Vim

packer.nvim

A use-package inspired plugin manager for Neovim. Uses native packages, supports Luarocks dependencies, written in Lua, allows for expressive config

nabla.nvim

take your scientific notes :pencil2: in Neovim

neorg

Modernity meets insane extensibility. The future of organizing your life in Neovim.

Symbolics.jl

Symbolic programming for the next generation of numerical software

GraphMakie.jl

Plotting graphs with Makie

lean-4-hackers

kb

A minimalist command line knowledge base manager

rate.sx

:moneybag: curl cryptocurrencies exchange rates

awesome-console-services

A curated list of awesome console services (reachable via HTTP, HTTPS and other network protocols)

wttr.in

:partly_sunny: The right way to check the weather

reanimate

Haskell library for building declarative animations based on SVG graphics

vscode-lean4

Visual Studio Code extension for the Lean 4 proof assistant

lean4

Lean 4 programming language and theorem prover

theorem_proving_in_lean4

Theorem Proving in Lean 4