Popular repositories Loading

1. metric-cooking metric-cooking Public

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

   JavaScript 29 5

2. sematrope sematrope Public

   Superoptimizer using the z3 SMT solver

   C++ 16 1

3. randkbits randkbits Public

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

   C++ 6 1

4. tinygraph tinygraph Public

   exploring graph conjectures on small graphs

   C++ 5 2

5. ternary-logic-optimization ternary-logic-optimization Public

   Optimal calculation of fixed ternary boolean functions

   Python 2

6. clique-cover clique-cover Public

   Solve the Clique Cover problem.

   OCaml 1