Popular repositories

1. TurboRisk TurboRisk Public

   Forked from brian-scott-andrews/TurboRisk

   A game by Mario Ferrari

   Pascal 2

2. sharpSAT sharpSAT Public

   Forked from master-keying/sharpSAT

   The #SAT solver sharpSAT

   C++ 1

3. Erdos-Sum-Function-Fields Erdos-Sum-Function-Fields Public

   Compute rigorous upper and lower bounds for a sum over polynomials with a fixed number of irreducible factors over a finite field

   C++

4. kissat kissat Public

   Forked from arminbiere/kissat

   C

5. knot_floer_homology knot_floer_homology Public

   Forked from 3-manifolds/knot_floer_homology

   Python wrapper for Zoltán Szabó's HFK program

   C++

6. explicit-k-free-integer-bounds explicit-k-free-integer-bounds Public

   Calculations used to prove explicit bounds on gaps in the sequence of k-free integers

   Jupyter Notebook