Falk Hüffner
Results
2
repositories owned by
Falk Hüffner
metric-cooking
30
Stars
6
Forks
Watchers
Browser script that annotates US cooking units with their metric equivalent (e.g. 1 3/4 cups sugar [350 g])
sematrope
17
Stars
1
Forks
Watchers
Superoptimizer using the z3 SMT solver