hyperpenelope

Pinned Repositories

Camomile
An audio plugin with Pure Data embedded that allows to load and to control patches
Language:C++0 0 00
Coqtail
Interactive Coq Proofs in Vim
Language:Python00
Camomile
An audio plugin with Pure Data embedded that allows to load and to control patches
Language:C++925 67 23966
Coqtail
Interactive Coq Proofs in Vim
Language:Python286 6 17635

hyperpenelope's Repositories

hyperpenelope/Camomile
An audio plugin with Pure Data embedded that allows to load and to control patches
Language:C++0 0 00
hyperpenelope/Coqtail
Interactive Coq Proofs in Vim
Language:Python00