Pinned Repositories
atomixer
Atomix puzzle solver
balanced-subgraph
Solve the Balanced Subgraph problem.
clique-cover
Solve the Clique Cover problem.
color-coding
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.
metric-cooking
Browser script that annotates US cooking units with their metric equivalent (e.g. 1 3/4 cups sugar [350 g])
odd-cycle-cover
Solve the Odd Cycle Cover problem.
randkbits
Various methods for generating random words with exactly k 1-bits.
sematrope
Superoptimizer using the z3 SMT solver
tinygraph
exploring graph conjectures on small graphs
falk-hueffner's Repositories
falk-hueffner/metric-cooking
Browser script that annotates US cooking units with their metric equivalent (e.g. 1 3/4 cups sugar [350 g])
falk-hueffner/sematrope
Superoptimizer using the z3 SMT solver
falk-hueffner/randkbits
Various methods for generating random words with exactly k 1-bits.
falk-hueffner/tinygraph
exploring graph conjectures on small graphs
falk-hueffner/clique-cover
Solve the Clique Cover problem.
falk-hueffner/odd-cycle-cover
Solve the Odd Cycle Cover problem.
falk-hueffner/atomixer
Atomix puzzle solver
falk-hueffner/balanced-subgraph
Solve the Balanced Subgraph problem.
falk-hueffner/color-coding
falk-hueffner/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.
falk-hueffner/mapping-line-to-offset
falk-hueffner/mcm
MCM file compressor
falk-hueffner/rust
Empowering everyone to build reliable and efficient software.
falk-hueffner/sdsl-lite
Succinct Data Structure Library 3.0 (unstable, prerelease)
falk-hueffner/simstrings
Find pairs of strings with small edit distance.
falk-hueffner/smallset
efficient subsets of {0..4095}
falk-hueffner/ternary-logic-optimization
Optimal calculation of fixed ternary boolean functions