Chris Ford
Results
10
repositories owned by
Chris Ford
african-polyphony-and-polyrhythm
30
Stars
2
Forks
Watchers
Ethnomusicologists face a dilemma: either shoehorn African music into European notation, or create custom DSLs that can only be understood by a select band of European ethnomusicologists.
flying-spaghetti-monster
26
Stars
2
Forks
Watchers
An Idris type provider for communicating type-checkable protocols.
functional-composition
162
Stars
33
Forks
Watchers
A live-coding presentation on music theory and Bach's "Canone alla Quarta".
Idris-Elba-Dev
16
Stars
0
Forks
Watchers
A Whitespace-Based Dependently Typed Functional Programming Language
leipzig-from-scratch
21
Stars
2
Forks
Watchers
I show you how to make a simple track using Leipzig, Overtone and Clojure, from "lein new" onwards.