Jakub Kopański

802.15.4. Medium Access Control layer of 802.15.4

keywee. WeeChat plugin for Keybase chat

cheshire. Agda

rtlil-agda. Yosys RTL Intermediate Language for Agda

firrtl. Haskell FIRRTL implementation

signal-weechat. Use signal in weechat

zoid. Functionally described RISC-V core

.emacs.d. emacs config

denotational-arithmetic. Agda

guix. guix packages & configs

felix-algebra. Algebraic structures for use with Felix

chive. Run SPICE in the clouds

strudel. The Little Typer go along