Skip to content

Instantly share code, notes, and snippets.

def p():
return p()
def test(x, y):
return 0 if x == 0 else y
test(0, p())
s/\quarternote= /\quarternote=/g
s/\quarternote /\quarternote{} /
s/\textbf{Exercise/\par \\textbf{Exercise/g
s/\textbf{Track/\par \\textbf{Track/g
@kroger
kroger / code.tex
Last active August 29, 2015 14:03
Printing Python Code With Latex
\newcommand{code}[2]{
hrulefill
subsection*{#1}
lstinputlisting{#2}
vspace{2em}
}
@kroger
kroger / header.tex
Created June 30, 2014 02:06
python quick ref
\newcommand{\header}[1]{
\begin{tikzpicture}
\node [fill=shade,rounded corners=5pt]
{
\parbox{.95\linewidth}{
\large
\textcolor{blue}{\sf \textbf{\raisebox{-15pt}{#1}}}
\vspace*{1ex}
}
};
@kroger
kroger / cond_ex.py
Last active August 29, 2015 14:03
harmonize-scale
cond = cond_interval_count(((0, 1), (1, 2)))
filter_sets(cond)
@kroger
kroger / pascal-triangle
Last active August 29, 2015 14:03
pascal-triangle
1
1 1
1 2 1
1 3 3 1
1 4 6 4 1
1 5 10 10 5 1
@kroger
kroger / convert.sh
Last active May 7, 2018 18:48
midi-to-mp3
fluidsynth -F output.wav ~/Soundfonts/my-soundfont.sf2 myfile.midi
lame output.wav
@kroger
kroger / autoimage
Last active February 4, 2016 17:38
.. autoimage:: notation3.png
:scale-html: 40
:scale-latex: 80
@kroger
kroger / gist:9962764
Created April 3, 2014 20:56
Convert ogg to mp3
#!/bin/bash
for file in */*.ogg
do
echo "* Converting: $name"
name=${file%%.*}
ogg123 -d wav -f - $file | lame -h -m s -b 192 - "$name.mp3"
done
@kroger
kroger / midi2mp3
Last active December 18, 2023 17:03
Convert MIDI files to MP3 using fluidsynth. See
#!/usr/bin/env bash
SOUNDFONT=/Users/kroger/Dropbox/Sfonts/BOPLMEVF16.sf2
TMPDIR=/tmp
if [[ ! -f $SOUNDFONT ]]
then
echo "Couldn't find the soundfont: $SOUNDFONT"
exit 1