Skip to content
View agreatnate's full-sized avatar

Organizations

@PCMI22

Block or report agreatnate

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  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