~kdsch

Lancaster, PA, USA

https://kdsch.org

Technology worker.

kdsch.org

a personal and technical blog

sampler

turn your microcontroller into a music sampler

libopencm3-meson

a microcontroller library built with meson

Activity

f621b09 layouts: fix style of blockquote

~kdsch pushed to ~kdsch/kdsch.org git

2 months ago via kdsch.org

0f237f5 README.md: fix wrong URL for GitLab CI status badge image

~kdsch pushed to ~kdsch/sampler git

4 months ago via sampler

d341b7e posix: add app that uses pulseaudio

~kdsch pushed to ~kdsch/sampler git

4 months ago via sampler

ec120f0 posix: add app that uses pulseaudio

~kdsch pushed to ~kdsch/sampler git

4 months ago via sampler

22f145f layouts: remove thing about submitting patches

~kdsch pushed to ~kdsch/kdsch.org git

4 months ago via kdsch.org

0f9cb53 sequencer: add BMC harness for tick_index_update

~kdsch pushed to ~kdsch/sampler git

4 months ago via sampler

dea91b5 app: move format conversion into platform

~kdsch pushed to ~kdsch/sampler git

4 months ago via sampler

bef31c6 add CBMC × (LTO - assertions) post

~kdsch pushed to ~kdsch/kdsch.org git

4 months ago via kdsch.org

14fb31f bmc-harness: refactor

~kdsch pushed to ~kdsch/sampler git

4 months ago via sampler

60dec11 README.md: use diffblue's CBMC documentation link

~kdsch pushed to ~kdsch/sampler git

4 months ago via sampler

2134075 layouts: use a grid for the post list

~kdsch pushed to ~kdsch/kdsch.org git

4 months ago via kdsch.org

3f61eb9 README.md: add section for external documentation

~kdsch pushed to ~kdsch/sampler git

4 months ago via sampler

b23e43e sequencer: remove unused type

~kdsch pushed to ~kdsch/sampler git

4 months ago via sampler

8a4c103 sequencer: rename _tick2 to _tick

~kdsch pushed to ~kdsch/sampler git

4 months ago via sampler

86f7af1 app: add a function to set the transport state

~kdsch pushed to ~kdsch/sampler git

4 months ago via sampler
1 / 12