Giters
Jakub Daniel (jakubdaniel)

jakubdaniel

Geek Repo

6

followers

8

following

30

stars

Company:Faculty of Mathematics and Physics, Charles University in Prague

Location:Prague

Home Page:http://d3s.mff.cuni.cz/~daniel

Github PK Tool:Github PK Tool

Jakub Daniel's repositories

expressions

Expressions and Formulæ à la carte

Language:HaskellLicense:BSD-3-ClauseStargazers:2Issues:3Issues:0

expressions-z3

Encoding and Decoding Expressions and Formulæ à la carte from Z3

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:2Issues:0

bnc

Language:CStargazers:0Issues:2Issues:0

cav16

Language:TeXStargazers:0Issues:2Issues:0

d3s15

Language:TeXStargazers:0Issues:0Issues:0

d3s16

Language:TeXStargazers:0Issues:2Issues:0

d3s16-2

Language:TeXStargazers:0Issues:2Issues:0

dot

Language:Vim scriptStargazers:0Issues:2Issues:0

fbk15

Language:TeXStargazers:0Issues:2Issues:0

hvc15

Language:TeXStargazers:0Issues:1Issues:0

iccsw14

Language:TeXStargazers:0Issues:2Issues:0

jpfw13

Language:TeXStargazers:0Issues:2Issues:0

resume

Language:TeXStargazers:0Issues:2Issues:0

tex

Language:TeXStargazers:0Issues:2Issues:0

zp

Language:ShellStargazers:0Issues:0Issues:0