Pinned Loading

1. automated-alternating-lbs automated-alternating-lbs Public

   Generates alternation-trading proofs of time-space lower bounds for SAT (and hopefully more)

   Python 1

2. and-maj and-maj Public

   Code to help find lower bounds on the degree of polynomial threshold functions for conjunction of majorities.

   Python

3. directed-ham-cycles directed-ham-cycles Public

   Code for investigating the structure and counts of Hamiltonian cycles in directed graphs.

   Python

4. latex-t latex-t Public

   LateX reader, extension of HackMIT project https://github.com/varunm22/latex-t

   Shell

5. tex2markdown tex2markdown Public

   Converts from LaTeX to a flavor of markdown for use on a Jekyll blog!

   Python

6. everywhere-good-reduction everywhere-good-reduction Public

   Code for studying the distribution of elliptic curves with everywhere good reduction.

   Sage 1