sintan1729 Goto Github PK

99-haskell-problems

Solving the 99 Haskell problems

aur-packages

A backup of my AUR packages

awesome-selfhosted-data

machine-readable data for https://awesome-selfhosted.net

bookmarklets

A collection of bookmarklets I use.

checkintegrity

A simple tool for checking integrity of a file by matching checksums with given strings.

chhoto-url

A simple, blazingly fast, selfhosted URL shortener with no unnecessary features; written in Rust.

comm_alg

SLMath collaboration for adding Krull dimension and Hilbert polynomial to mathlib

cv

Just a place to host my Curriculum Vitae so that it's easier to track changes.

firefox-nightly-auto-place-windows-by-workspace

Firefox Nightly Auto Place WIndows by Workspace

lean-talk-sp24

These are the files used in a talk

lure

Linux User REpository

lure-repo

This is a repository for my personal LURE build scripts

matrix-basic

A Rust crate for very basic matrix operations

movie-rename

A simple tool to rename movies, written in Rust.

my-nvim-config

This is basically a copy of my $XDG_CONFIG_HOME/nvim

privtracker

Private BitTorrent tracker generator

random

Random Scripts

recipe-box-for-wikijs

Download recipes into a (repurposed Zettelkasten) recipe box.

recipe-scrapers

Python package for scraping recipes data

revancedbuilder

A script to automatically build latest releases of ReVanced apps

sintan1729

Config files for my GitHub profile.

tmux_copy_last_command_output

Capture the output of the last terminal command and open copy it to clipboard.

tvtimetotrakt

A Python script to import TV Time data into Trakt.TV

unscrambler

A simple tool to unscramble English words.

unscrambler-rust

A simple unscrambler program written in Rust

userscripts

wmclassfixer

WMClass Fixer

x-unruledexport

A plugin to directly export unruled PDF from Xournal++ using a shortcut