Pinned Repositories
CotL-Project-Django
gol-tui
Conway's Game of Life TUI
grub-xenlism-nixos
Easier nix integration
liquidhaskell-flake
LiquidHaskell Flake
nix-pretty-repl
Nix, the purely functional package manager
nixfmt-flib
A formatter for Nix code
nixfzf
Search nixpkgs quickly from cli
rocketbook-github
Small script that checks your Gmail for new Rocketbook emails and sends them to a Github repo
MathiasSven's Repositories
MathiasSven/rocketbook-github
Small script that checks your Gmail for new Rocketbook emails and sends them to a Github repo
MathiasSven/gol-tui
Conway's Game of Life TUI
MathiasSven/grub-xenlism-nixos
Easier nix integration
MathiasSven/liquidhaskell-flake
LiquidHaskell Flake
MathiasSven/agda-mode-vscode
agda-mode on VS Code
MathiasSven/discord.py
An API wrapper for Discord written in Python.
MathiasSven/nix-pretty-repl
Nix, the purely functional package manager
MathiasSven/nixfmt-flib
A formatter for Nix code
MathiasSven/nixfzf
Search nixpkgs quickly from cli
MathiasSven/brainfuck
A Brainfuck JIT Iterpreter & REPL
MathiasSven/build_psol
build PageSpeed Optimization Library (PSOL)
MathiasSven/emulator
Emulator
MathiasSven/git-sim
Visually simulate Git operations in your own repos with a single terminal command.
MathiasSven/hackernews-TUI
A Terminal UI to browse Hacker News
MathiasSven/hover
Hover - Temporary home directories
MathiasSven/inline-c
MathiasSven/inline-c-152-rep
MathiasSven/klinechartpro-custom
Financial chart built out of the box based on KLineChart.
MathiasSven/MCreatorFlake
An Impure and Non-Hermetic Flake for easily installing/running MCreator versions built on FHS
MathiasSven/MonitChannels
MathiasSven/nix-out-explorer
Explore contents of outputs from the cache
MathiasSven/nix-patches
MathiasSven/nixpkgs
Nix Packages collection
MathiasSven/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!
MathiasSven/PrismLauncher
A custom launcher for Minecraft that allows you to easily manage multiple installations of Minecraft at once (Fork of MultiMC)
MathiasSven/python-template
My python project template
MathiasSven/quickspec
Equational laws for free (Patch Applied for removed Data.Semigroup.Option)
MathiasSven/reddit-load-images-directly-chrome
Chrome extension to bypass reddits annoying page when opening images in a new tab
MathiasSven/SelectAutoroles
Small discord bot for autoroles using selectmenu dropdowns
MathiasSven/template-home