jakubdaniel

Haskell/Agda enthusiast, Scala developer

Faculty of Mathematics and Physics, Charles University in PraguePrague

Pinned Repositories

bnc
Language:C0 2 00
cav16
Language:TeX0 2 00
d3s15
Language:TeX00
d3s16
Language:TeX0 2 00
d3s16-2
Language:TeX0 2 00
expressions
Expressions and Formulæ à la carte
Language:Haskell2 3 01
expressions-z3
Encoding and Decoding Expressions and Formulæ à la carte from Z3
Language:Haskell1 2 00

jakubdaniel's Repositories

jakubdaniel/expressions
Expressions and Formulæ à la carte
Language:Haskell2 3 01
jakubdaniel/expressions-z3
Encoding and Decoding Expressions and Formulæ à la carte from Z3
Language:Haskell1 2 00
jakubdaniel/bnc
Language:C0 2 00
jakubdaniel/cav16
Language:TeX0 2 00
jakubdaniel/d3s15
Language:TeX00
jakubdaniel/d3s16
Language:TeX0 2 00
jakubdaniel/d3s16-2
Language:TeX0 2 00
jakubdaniel/dot
Language:Vim script2 0
jakubdaniel/fbk15
Language:TeX1 0
jakubdaniel/hvc15
Language:TeX1 0
jakubdaniel/iccsw14
Language:TeX1 0
jakubdaniel/jpfw13
Language:TeX2 0
jakubdaniel/resume
Language:TeX2 0
jakubdaniel/tex
Language:TeX2 0
jakubdaniel/zp
Language:Shell