Falk Hüffner's repositories
metric-cooking
Browser script that annotates US cooking units with their metric equivalent (e.g. 1 3/4 cups sugar [350 g])
clique-cover
Solve the Clique Cover problem.
odd-cycle-cover
Solve the Odd Cycle Cover problem.
atomixer
Atomix puzzle solver
Language:C++000
balanced-subgraph
Solve the Balanced Subgraph problem.
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
simstrings
Find pairs of strings with small edit distance.
Apache-2.0000
ternary-logic-optimization
Optimal calculation of fixed ternary boolean functions