-
comm_alg Public
Forked from GTBarkley/comm_algSLMath collaboration for adding Krull dimension and Hilbert polynomial to mathlib
Lean UpdatedJun 23, 2023 -
matrix-basic Public
A Rust crate for very basic matrix operations
Rust GNU General Public License v3.0 UpdatedMay 28, 2023 -
bookmarklets Public
Forked from nfahlgren/scihub_bookmarkA collection of bookmarklets I use.
-
Firefox-Nightly-Auto-Place-Windows-by-Workspace Public
Forked from Hubbitus/shell.scriptsFirefox Nightly Auto Place WIndows by Workspace
Shell GNU General Public License v3.0 UpdatedApr 11, 2023 -
-
X-UnruledExport Public
A plugin to directly export unruled PDF from Xournal++ using a shortcut
Lua GNU General Public License v3.0 UpdatedApr 11, 2023 -
unscrambler-rust Public
A simple unscrambler program written in Rust
-
Unscrambler Public
A simple tool to unscramble English words.
C++ GNU General Public License v3.0 UpdatedApr 11, 2023 -
tmux_copy_last_command_output Public
Forked from artemave/tmux_capture_last_command_outputCapture the output of the last terminal command and open copy it to clipboard.
Shell MIT License UpdatedApr 11, 2023 -
lure Public
Forked from lure-sh/lureLinux User REpository
Go GNU General Public License v3.0 UpdatedFeb 24, 2023 -
rupantor-rs Public
Forked from OpenBangla/rupantor-rsA Bengali Phonetic Parser which is very flexible and converts text into Bengali according to a json formated grammar.
Rust Mozilla Public License 2.0 UpdatedSep 22, 2020
{{ message }}