adkian

Pinned Repositories

ethfordata
Language:JavaScript0 4 13
kami
A Platform for High-Level Parametric Hardware Specification and its Modular Verification
Language:Coq0 0 00
mcb
Mathematical Components (the Book)
Language:TeX00
milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Language:TeX00
riscv-tests
Language:C00
simplepaxos
Part-time parliament simulation
Language:Python00
telegram-basho
a simple telegram haiku bot
Language:Python00
uhunt-solutions
Solutions to some old and new uHunt problems
Language:C++00
XnOs-TLA
Language:TLA00

adkian's Repositories

adkian/ethfordata
Language:JavaScript0 4 13
adkian/kami
A Platform for High-Level Parametric Hardware Specification and its Modular Verification
Language:Coq0 0 00
adkian/mcb
Mathematical Components (the Book)
Language:TeX00
adkian/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Language:TeX00
adkian/riscv-tests
Language:C00
adkian/simplepaxos
Part-time parliament simulation
Language:Python00
adkian/telegram-basho
a simple telegram haiku bot
Language:Python00
adkian/uhunt-solutions
Solutions to some old and new uHunt problems
Language:C++00
adkian/XnOs-TLA
Language:TLA00