pdp7 dot org :: Links

Computer Music

Development / Theory

• TKK Akustiika - essential virtual analog algorithms
• music-dsp mailing list
• MinBLEPs - article (with code) about the MinBLEP algorithm for synthesizing band-limited analog waveforms
• EarLevel Engineering blog with useful information about topics such as digital state variable filter, bilinear transform, etc.
• Filter Design and Analysis - online calculaion of coefficients for many analog filter designs
• musicdsp.org (DSP algorithm collection)
• katja's homepage on sinusoids, complex numbers and modulation (a fun collection of DSP related mathematics playfully visualized, absolutely recommended for any idle moment)
• Electric Druid (Synth DIY + useful infos about some digital/hybrid algorithms)
• "Introduction to Digital Filters" by JOS
• PortAudio - C cross-platform audio library
• Book "Matters Computational" - collection of algorithms coded in C++ with some explanations

Forums, Blogs, link lists, samples, etc.

• Create Digital Music
• Synthopia
• The Conet Project (free MP3s of shortwave number stations recordings)
• Freesound (free categorized samples with waveform and audio preview)
• AKWF Generic Waveforms - big collection of free single cycle waveforms for wavetable synthesis

Software

• SonicBirth - An AudioUnit design application
• FFFADO (formerly known as FreeBoB) - Linux drivers for Firewire audio interfaces
• Puredata (graphical programming environment)
• jMusic (Java framework for synthesis and composition)
• ChucK (live coding)
• SuperCollider (live coding)
• Nyquist (DSP programming enviorenment based on XLisp)
• Audacity (free/libre audio editor)
• Qtractor An Audio/MIDI multi-track sequencer
• Jack for OS X
• Ugly VSTi Interface for MacOS (9 or X)
• MIDICSV (command line tool that converts from MIDI to CSV and vice-versa)

Top

Analog synthesizers, modular systems, electronic music DIY

Modular (Eurorack)

• Muff Wiggler Forum - probably the most active forum
• Synth DIY archive - searchable archive of the synth-diy mailing list
• Synth Secrets by Gordon Reid - Sound on Sound archive

Music DIY

• Banzai Music - German shop specialized in music DIY parts (Vactrols, BBDs, spring tanks, etc.)
• UK Electronic - German shop specialized in music DIY parts (Vactrols, BBDs, spring tanks, etc.)
• Das Musikding - German shop specialized in music DIY parts (Vactrols, BBDs, spring tanks, etc.)
• Homepage of Aron Lanterman - with links to video lectures about electronics for music synthesis (i.e. synth DIY)

Top

Electronics

• Lightweight USB Framework for AVRs (LUFA)
• CrossPack - Mac OS X package of gcc, libc, avrdude, etc.
• Procyon AVRlib - code for almost all peripherals you may want to connect to an AVR uC
• Octopart - a search enginge for electronic parts
• qucs - a beautiful free mixed-mode circuit simulation program for KDE
• xup - GPLed programming software for the Xilinx Spartan3E Starter Kit
• fpga4fun.com
• ASIC World Verilog Page (includes the very nice "Verilog in Onde Day" tutorial)
• Hyperlinked Verilog grammar
• JTAG programmer
• Serasidis Vasilis amazing AVR site (includes VGA signal generation)
• Beyond Logic (USB, embedded internet, all sorts of interface stuff)
• V-USB (software-only USB implementation for AVR controllers)

Top

Computer Science and related stuff

Coq, proof assistants, constructive logic and type theory

• The Coq Proof Assistant - official homepage at INRIA
• Proof General - Emacs mode for working with proof assistants
• Certified Programming with Dependent Types - an in-progress textbook about Coq
• Interactive Computer Theorem Proving - homepage of a course about Coq
• Cocorico! - Wiki with useful advice for working with Coq
• Using Proof Assistants for Programming Language Research
• CIS 500: Software Foundations - Course using Coq by Benjamin C. Pierce based on TAPL
• Programming in Martin-Löf's Type Theory
• Type Theory and Functional Programming - full text version of the out of print textbook by Simon Thompson

Top

Programming

Misc

• Lean Programming (see lean production, agile methods, extreme programming)
• Dictionary of Algorithms and Data Structures
• Security Engineering - The Book
• RFC and STD collection
• IRC RFCs
• Bit Twiddling Hacks

C / C++

• C99 ISO standard
• C++ Tip-of-the-Day
• Google C++ Style Guide

Functional Programming (mostly Lisp)

• The Common Lisp Cookbook
• Advanced Use of Lisp's FORMAT Function
• A Few FORMAT Recipes (from the book 'Practical Common Lisp')
• Lisp Books and Information
• Lambda Unlimited (lisp machine resources including emulators and historical documentation)
• Structure and Interpretation of Computer Programs Video Lectures
• Lambda the ultimate (fp weblog)
• Robert Harper's Homepage - drafts of various books on PL theory

Forth

• Starting Forth (online version of the book by Leo Brodie)
• Thinking Forth
• ANS Forth Draft Standard
• pForth
• Factor programming language (interesting cross between Forth, Lisp and Joy)

Top

Languages / Philosophy

• Das Deutsche Wärterbuch von Jacob und Wilhelm Grimm
• Wolfram von Eschenbach - Parzival
• Ludwig Wittgenstein: Tractatus Logico-Philosophicus
• Wittgenstein for programmers (including a "translation" of the Tractatus to the domain of software development)
• PoemHunter

Top

Web

• XML.com
• Python universal feed parser (really sweet RSS and Atom parser)
• HTML validator for Firefox and Mozilla (based on tidy)

Top

Online Radio

• SomaFM
• Difficult Listening
• Digitally Imported
• ETN.fm
• DnbRadio.com
• PsyRadio.FM
• Last.fm
• friskyRadio
• Proton Radio

Top