pkoch

dotstash

Stash of dotfiles and friends.

simple_image_browser-uploader_for_tinymce

Simple Image browser/uploader/delete integrated into TinyMCE's advimage popup window.

cv

My CV/resume.

codility-rho-2012

My solution to Codility's challenge Rho 2012. See http://blog.codility.com/2012/05/rho-2012-codility-programming.html

django_signal

A port of Django's Signal to ruby.

awscli-sqsall

awscli plugin to treat SQS queues more like files.

2022-06-08-Choreography-and-Diligence

aoc-2020

Advent of Code 2020

aoc-2021

Advent of Code 2021

aoc-2022

Advent of Code 2022

exercism

My stuff for https://exercism.io/

hanukkah-of-data-5783

https://hanukkah.bluebird.sh/

kickstart.nvim

My nvim configuration

pko.ch

pkoch-public-bucket

Access to the pkoch-public bucket.

purescript-book

https://book.purescript.org/

pytest-timeout

relatorio_estagio

My internship's report

rubyquiz118

Solution to Ruby Quiz #118: Micrrowave Numbers

slack-logs-rig

Stuff I banged together to look at logs. This is terrible code.

software_foundations

Exercises in Coq for https://softwarefoundations.cis.upenn.edu/lf-current/index.html

WalletConnect--web-examples

Wallet and dapp examples implementing WalletConnect v2

yadm