Skip to content

Instantly share code, notes, and snippets.

View pmbittner's full-sized avatar
🏠
Working from home

Paul Bittner pmbittner

🏠
Working from home
View GitHub Profile
@BjoernRave
BjoernRave / gist:0a9a6e1168ca5956cda345cd76fb6518
Last active June 17, 2025 08:33
Function to get a decklist of a cardmarket wanted list. Just go to your wanted list, right click somewhere, click inspect, go to console, paste this in and hit enter
(function scrapeData() {
const tbody = document.querySelector('tbody');
const trElements = tbody.querySelectorAll('tr');
const result = [];
trElements.forEach((tr) => {
const amountElement = tr.querySelector('.amount');
const nameElement = tr.querySelector('.name');
if (amountElement && nameElement) {
@ryanorendorff
ryanorendorff / shell.nix
Created December 31, 2019 03:57
Nix shell for Agda development with the Agda standard library
let
pkgs = import (builtins.fetchTarball {
url =
"https://github.com/NixOS/nixpkgs-channels/archive/b0bbacb52134a7e731e549f4c0a7a2a39ca6b481.tar.gz";
sha256 = "15ix4spjpdm6wni28camzjsmhz0gzk3cxhpsk035952plwdxhb67";
}) { };
# The standard library in nixpkgs does not come with a *.agda-lib file, so we
# generate it here.
@joyrexus
joyrexus / README.md
Last active June 12, 2025 20:55
collapsible markdown

collapsible markdown?

CLICK ME

yes, even hidden code blocks!

print("hello world!")
@rain1024
rain1024 / tut.md
Last active July 15, 2025 13:19
Install pdflatex ubuntu

PdfLatex is a tool that converts Latex sources into PDF. This is specifically very important for researchers, as they use it to publish their findings. It could be installed very easily using Linux terminal, though this seems an annoying task on Windows. Installation commands are given below.

  • Install the TexLive base
sudo apt-get install texlive-latex-base
  • Also install the recommended and extra fonts to avoid running into the error [1], when trying to use pdflatex on latex files with more fonts.