MithicSpirit's repositories
bemenu
Dynamic menu library and client program inspired by dmenu
custom-aur
Personal AUR-like packages.
autotrash
Tool to automatically purge old trashed files
btop
A monitor of resources
GameSkeleton
The standard template to create a lean game
git
Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documentation/SubmittingPatches procedure for any of your improvements.
hyperref
Hypertext support for LaTeX
Idris2
A purely functional programming language with first class types
kitty
Cross-platform, fast, feature-rich, GPU based terminal
lean.nvim
neovim support for the Lean theorem prover
lean4game
Server to host lean games.
lualine.nvim
A blazing fast and easy to configure neovim statusline plugin written in pure lua.
mod-gradle-scripts
Shared Gradle scripts between mods
nixos
Personal configuration for NixOS and home-manager
nvim
🍨 Soothing pastel theme for (Neo)vim
nvim-treesitter
Nvim Treesitter configurations and abstraction layer
powerlevel10k
A Zsh theme
ruff
An extremely fast Python linter, written in Rust.
sbctl
:computer: :lock: :key: Secure Boot key manager
sound-physics-remastered
A Minecraft mod that provides realistic sound attenuation, reverberation, and absorption through blocks.
sway
i3-compatible Wayland compositor
telescope.nvim
Find, Filter, Preview, Pick. All lua, all the time.
tree-sitter-latex
LaTeX grammar for tree-sitter
uv
An extremely fast Python package installer and resolver, written in Rust.
vimtex
VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.
Wires
A bot with random features I want
zoxide
A smarter cd command. Supports all major shells.