-
hindent Public
Forked from mihaimaruseac/hindentHaskell pretty printer
Haskell Other UpdatedJan 27, 2026 -
PacketProxy Public
Forked from DeNA/PacketProxyA local proxy written in Java
Java Apache License 2.0 UpdatedJan 26, 2026 -
-
-
-
po.nvim Public
Neovim plugin for editing GNU gettext PO files
Lua GNU Affero General Public License v3.0 UpdatedJan 23, 2026 -
zsh-dot-up Public
Zsh plugin that converts ..., ...., ....., etc., into cd commands to navigate parent directories.
-
coqfmt Public
Coq code formatter
-
-
ebuilds Public
Ebuilds for my personal purpose
Shell GNU General Public License v2.0 UpdatedDec 31, 2025 -
Krita-pen-pressure-adjuster Public
Global pen pressure setting adjuster for Krita
-
Krita-layer-finder Public
Find a layer that colorizes a part of or the full selection.
Python GNU General Public License v3.0 UpdatedNov 30, 2025 -
gentoo Public
Forked from gentoo/gentoo[MIRROR] Official Gentoo ebuild repository
Shell UpdatedJun 30, 2025 -
hoogle-mcp-server Public
A MCP implementation for accessing local hoogle command
-
cpio_reader Public
A Rust library to read the contents of cpio files
-
GlimpseOfLean Public
Forked from PatrickMassot/GlimpseOfLeanAn introduction to theorem proving in Lean for the impatient.
Lean Apache License 2.0 UpdatedMar 7, 2025 -
neovim-plugin-template Public template
A template for developing a Neovim plugin
UpdatedOct 26, 2024 -
gentoo-haskell Public
Forked from gentoo-haskell/gentoo-haskellofficial gentoo haskell overlay
Shell UpdatedJul 16, 2024 -
neovim-hybrid Public
Forked from w0ng/vim-hybridA dark color scheme for Neovim
Lua Other UpdatedJul 5, 2024 -
-
-
-
-
-
test-github-actions Public
A repository to play with Github Actions
GNU General Public License v3.0 UpdatedApr 25, 2024 -
-
os_units Public
A Rust library which provides units used in developing OS.
-
vscode-gettext Public
Forked from MrOrz/vscode-gettextGettext PO files language support for Visual Studio Code
TypeScript MIT License UpdatedMar 4, 2024 -
set_bits Public archive
A Rust library which sets and clears bits on memory.
Rust UpdatedMar 3, 2024 -
coq-serapi Public
Forked from rocq-archive/coq-serapiCoq Protocol Playground with Se(xp)rialization of Internal Structures.
OCaml Other UpdatedFeb 22, 2024
{{ message }}