falk-hueffner

metric-cooking

Browser script that annotates US cooking units with their metric equivalent (e.g. 1 3/4 cups sugar [350 g])

sematrope

Superoptimizer using the z3 SMT solver

tinygraph

exploring graph conjectures on small graphs

randkbits

Various methods for generating random words with exactly k 1-bits.

clique-cover

Solve the Clique Cover problem.

odd-cycle-cover

Solve the Odd Cycle Cover problem.

atomixer

Atomix puzzle solver

balanced-subgraph

Solve the Balanced Subgraph 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.

mapping-line-to-offset

mcm

MCM file compressor

rust

Empowering everyone to build reliable and efficient software.

sdsl-lite

Succinct Data Structure Library 3.0 (unstable, prerelease)

simstrings

Find pairs of strings with small edit distance.

smallset

efficient subsets of {0..4095}

ternary-logic-optimization

Optimal calculation of fixed ternary boolean functions