mqtthiqs
R&D scientist at INA grm, GRM Tools lead dev. Co-designed @4ms Ensemble Oscillator & Tapographic Delay. Former programming language and formal proof researcher.
INA grmParis, France
Pinned Repositories
enosc
Ensemble Oscillator firmware
batumi
cable
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
enosc
Ensemble Oscillator firmware
kalkuli
parasites
Eurorack modules
stm-audio-bootloader
Audio (FSK / QPSK) bootloader for STM32F projects
stmlib
STM32F project template and utility routines used for Mutable Instruments products
tapographic-delay
mqtthiqs's Repositories
mqtthiqs/parasites
Eurorack modules
mqtthiqs/batumi
mqtthiqs/stmlib
STM32F project template and utility routines used for Mutable Instruments products
mqtthiqs/tapographic-delay
mqtthiqs/kalkuli
mqtthiqs/stm-audio-bootloader
Audio (FSK / QPSK) bootloader for STM32F projects
mqtthiqs/cable
mqtthiqs/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
mqtthiqs/enosc
Ensemble Oscillator firmware
mqtthiqs/gasp
mqtthiqs/gast
mqtthiqs/ljm-formalization
mqtthiqs/merry-web
Site web pour Merry Company
mqtthiqs/mqtthiqs.github.io
mqtthiqs/typdef
mqtthiqs/USB-flasher-app