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 32 6

2. sematrope sematrope Public

   Superoptimizer using the z3 SMT solver

   C++ 17 1

3. randkbits randkbits Public

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

   C++ 7 1

4. tinygraph tinygraph Public

   exploring graph conjectures on small graphs

   C++ 6 3

5. clique-cover clique-cover Public

   Solve the Clique Cover problem.

   OCaml 3 1

6. ternary-logic-optimization ternary-logic-optimization Public

   Optimal calculation of fixed ternary boolean functions

   Python 2