{{ message }}

Instantly share code, notes, and snippets.

# Pedro Kroger kroger

Last active Aug 29, 2015
View ex1.5.py
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
 def p(): return p() def test(x, y): return 0 if x == 0 else y test(0, p())
Created Dec 20, 2014
View process-latex
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
 s/\quarternote= /\quarternote=/g s/\quarternote /\quarternote{} / s/\textbf{Exercise/\par \\textbf{Exercise/g s/\textbf{Track/\par \\textbf{Track/g
Last active Aug 29, 2015
Printing Python Code With Latex
View code.tex
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
 \newcommand{code}[2]{ hrulefill subsection*{#1} lstinputlisting{#2} vspace{2em} }
Created Jun 30, 2014
python quick ref
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
 \newcommand{\header}[1]{ \begin{tikzpicture} \node [fill=shade,rounded corners=5pt] { \parbox{.95\linewidth}{ \large \textcolor{blue}{\sf \textbf{\raisebox{-15pt}{#1}}} \vspace*{1ex} } };
Last active Aug 29, 2015
harmonize-scale
View cond_ex.py
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
 cond = cond_interval_count(((0, 1), (1, 2))) filter_sets(cond)
Last active Aug 29, 2015
pascal-triangle
View pascal-triangle
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
 1 1 1 1 2 1 1 3 3 1 1 4 6 4 1 1 5 10 10 5 1
Last active May 7, 2018
midi-to-mp3
View convert.sh
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
 fluidsynth -F output.wav ~/Soundfonts/my-soundfont.sf2 myfile.midi lame output.wav
Last active Feb 4, 2016
View autoimage
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
 .. autoimage:: notation3.png :scale-html: 40 :scale-latex: 80
Created Apr 3, 2014
Convert ogg to mp3
View gist:9962764
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
 #!/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
Last active May 18, 2022
Convert MIDI files to MP3 using fluidsynth. See
View midi2mp3
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
 #!/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