Skip to content
@polylog-cs

polylog-cs

Popular repositories Loading

  1. rubiks-cube-video rubiks-cube-video Public

    Using meet-in-the-middle to solve the Rubik's cube

    Python 74 23

  2. universal-search universal-search Public

    April fools' day videos explaining Levin's universal search

    Python 32 6

  3. Astar Astar Public

    A video about the A* algorithm viewed as an application of the potential reweighting technique

    Python 29 7

  4. np-completeness np-completeness Public

    Video about NP-completeness, circuit SAT and "reversing time"

    Python 8

  5. fair_dice fair_dice Public

    Python 5

  6. derandomization derandomization Public

    aka "And this year’s Turing Award goes to…"

    Python 4 1

Repositories

Showing 10 of 12 repositories
  • np-completeness Public

    Video about NP-completeness, circuit SAT and "reversing time"

    polylog-cs/np-completeness’s past year of commit activity
    Python 8 MIT 0 0 0 Updated Aug 18, 2024
  • Astar Public

    A video about the A* algorithm viewed as an application of the potential reweighting technique

    polylog-cs/Astar’s past year of commit activity
    Python 29 MIT 7 1 0 Updated Aug 10, 2024
  • derandomization Public

    aka "And this year’s Turing Award goes to…"

    polylog-cs/derandomization’s past year of commit activity
    Python 4 MIT 1 0 0 Updated May 13, 2024
  • byzantine-generals Public

    Video explaining the problem of Byzantine generals and discussing its applications to database synchronization and cryptocurrencies

    polylog-cs/byzantine-generals’s past year of commit activity
    Python 2 MIT 0 0 0 Updated Mar 29, 2024
  • fair_dice Public
    polylog-cs/fair_dice’s past year of commit activity
    Python 5 0 1 0 Updated Nov 19, 2023
  • voting-systems Public

    A proof of Gibbard-Satterthwaite theorem, discussion of voting systems

    polylog-cs/voting-systems’s past year of commit activity
    Python 1 MIT 0 0 0 Updated Aug 9, 2023
  • rubiks-cube-video Public

    Using meet-in-the-middle to solve the Rubik's cube

    polylog-cs/rubiks-cube-video’s past year of commit activity
    Python 74 MIT 23 0 0 Updated Jul 5, 2023
  • universal-search Public

    April fools' day videos explaining Levin's universal search

    polylog-cs/universal-search’s past year of commit activity
    Python 32 MIT 6 0 0 Updated Apr 17, 2023
  • alpha-code Public
    polylog-cs/alpha-code’s past year of commit activity
    Python 2 MIT 1 0 0 Updated Oct 7, 2022
  • simple_sort Public
    polylog-cs/simple_sort’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Apr 9, 2022
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…