Mathias Sven's repositories
rocketbook-github
Small script that checks your Gmail for new Rocketbook emails and sends them to a Github repo
grub-xenlism-nixos
Easier nix integration
liquidhaskell-flake
LiquidHaskell Flake
agda-mode-vscode
agda-mode on VS Code
discord.py
An API wrapper for Discord written in Python.
nix-pretty-repl
Nix, the purely functional package manager
nixfmt-flib
A formatter for Nix code
brainfuck
A Brainfuck JIT Iterpreter & REPL
build_psol
build PageSpeed Optimization Library (PSOL)
emulator
Emulator
hackernews-TUI
A Terminal UI to browse Hacker News
klinechartpro-custom
Financial chart built out of the box based on KLineChart.
MCreatorFlake
An Impure and Non-Hermetic Flake for easily installing/running MCreator versions built on FHS
nix-out-explorer
Explore contents of outputs from the cache
pnwkit-py
A Python wrapper for the Politics and War API. Check out the JavaScript (https://github.com/bsnk-dev/pnwkit) and Google Apps Script (https://github.com/bsnk-dev/pnwkit.gs) versions!
PrismLauncher
A custom launcher for Minecraft that allows you to easily manage multiple installations of Minecraft at once (Fork of MultiMC)
python-template
My python project template
quickspec
Equational laws for free (Patch Applied for removed Data.Semigroup.Option)
reddit-load-images-directly-chrome
Chrome extension to bypass reddits annoying page when opening images in a new tab
SelectAutoroles
Small discord bot for autoroles using selectmenu dropdowns