Giters
Matthias Puech (mqtthiqs)

mqtthiqs

Geek Repo

91

followers

15

following

22

stars

Company:INA grm

Location:Paris, France

Home Page:http://mqtthiqs.github.io

Twitter:@mqtthiqs

Github PK Tool:Github PK Tool

Matthias Puech's repositories

parasites

Eurorack modules

Language:C++Stargazers:106Issues:22Issues:0

stmlib

STM32F project template and utility routines used for Mutable Instruments products

Language:C++License:NOASSERTIONStargazers:2Issues:3Issues:0

kalkuli

Language:JavaScriptStargazers:1Issues:3Issues:0

stm-audio-bootloader

Audio (FSK / QPSK) bootloader for STM32F projects

Language:C++License:NOASSERTIONStargazers:1Issues:3Issues:0

tapographic-delay

Language:C++Stargazers:1Issues:0Issues:0

batumi

Language:PythonStargazers:0Issues:0Issues:0

cable

Language:C++Stargazers:0Issues:2Issues:0

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.

Language:OCamlLicense:LGPL-2.1Stargazers:0Issues:2Issues:0

enosc

Ensemble Oscillator firmware

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

gasp

Language:OCamlStargazers:0Issues:2Issues:0

gast

Language:OCamlStargazers:0Issues:2Issues:0

ljm-formalization

Language:CoqStargazers:0Issues:2Issues:0

merry-web

Site web pour Merry Company

Language:HTMLStargazers:0Issues:2Issues:0

mqtthiqs.github.io

Language:SCSSStargazers:0Issues:0Issues:0

typdef

Language:OCamlStargazers:0Issues:2Issues:0

USB-flasher-app

Language:PythonStargazers:0Issues:0Issues:0