This is your work, valued

Jakub Kopański

Advanced
@jkopanski

802.15.4. Medium Access Control layer of 802.15.4

14

keywee. WeeChat plugin for Keybase chat

14

cheshire. Agda

8

rtlil-agda. Yosys RTL Intermediate Language for Agda

3

firrtl. Haskell FIRRTL implementation

3

signal-weechat. Use signal in weechat

2

zoid. Functionally described RISC-V core

2

.emacs.d. emacs config

2

denotational-arithmetic. Agda

1

guix. guix packages & configs

1

felix-algebra. Algebraic structures for use with Felix

1

chive. Run SPICE in the clouds

1

strudel. The Little Typer go along

1