Skip to content
View JaredCorduan's full-sized avatar
☕
☕
50 followers · 38 following

Block or report JaredCorduan

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. CIPs CIPs Public

    Forked from cardano-foundation/CIPs

    JavaScript 25 17

  2. coloring_posets coloring_posets Public

    Ph.D. thesis of Jared Corduan - Coloring Posets and Reverse Mathematics

    TeX 1 1

  3. ramsey ramsey Public

    Formalization of Ramsey Theory in Lean (work in progress)

    Lean 1 1

  4. rubik-group rubik-group Public

    Rubik's Cube Group

    Haskell 1 2

  5. lambda-calc-cofc lambda-calc-cofc Public

    a talk given at the College of Charleston introducing the lambda Calculus talk

    TeX 1

  6. rush_hour_solver rush_hour_solver Public

    A command line utility to solve Rush Hour puzzles.

    Python 1