jkopanski

Warsaw

Pinned Repositories

.emacs.d
emacs config
Language:Emacs Lisp2 2 00
802.15.4
Medium Access Control layer of 802.15.4
Language:SystemVerilog9 3 09
cheshire
Language:Agda7 1 03
chive
Run SPICE in the clouds
Language:JavaScript1 2 00
denotational-arithmetic
Language:Agda1 2 00
felix-algebra
Algebraic structures for use with Felix
Language:Agda1 2 00
firrtl
Haskell FIRRTL implementation
Language:Haskell3 3 51
keywee
WeeChat plugin for Keybase chat
Language:C14 6 10
signal-weechat
Use signal in weechat
Language:Python2 2 00
zoid
Functionally described RISC-V core
Language:Haskell2 2 00

jkopanski's Repositories

jkopanski/802.15.4
Medium Access Control layer of 802.15.4
Language:SystemVerilog9 3 09
jkopanski/.emacs.d
emacs config
Language:Emacs Lisp2 2 00
jkopanski/chive
Run SPICE in the clouds
Language:JavaScript1 2 00
jkopanski/cis194
Homework for cis194
Language:Haskell
jkopanski/parconc-examples
Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"
Language:Haskell
jkopanski/pum
Language:Python2 0
jkopanski/pymw
Microwave analysis, synthesis and design package
Language:Python2 0
jkopanski/typeclassopedia
Typeclassopedia solutions
Language:Haskell
jkopanski/vim
personal vim config
Language:Vim script