All Git Users → mryndzionek

4 open source projects by mryndzionek

[ Open user page on Github ]

Lightweight communicating state machine framework for embedded systems

✭ 21

c C++assembly Makefile HTML CMake python cmake reactive embedded state-machine stm32 concurrency embedded-systems bluepill embedded-devices mechanical-keyboard stm32f103 statecharts qmk-firmware

OpenCV document scanner

✭ 36

C++CMake opencv scanner opencv3 document-scanner-app document-scanning

3. composable-sdr

SDR DSP utilities embedded in Haskell

✭ 26

haskell shell dsp sdr software-defined-radio rtlsdr soapysdr liquid-dsp rtlsdr-dongle liquid-dsp-library streamly

4. tlaplus specs

Different TLA+ specifications, mostly for learning purposes

✭ 25

TLA shell graphviz model-checking tlaplus tla-specifications

1-4 of 4 user projects