Repositories list

• zero-knowledge-proofs

  Public
  TypeScript

  •0•9•0•0•Updated Mar 22, 2025Mar 22, 2025

• np-completeness

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

  Python

  •

  MIT License

  •0•12•0•0•Updated Aug 18, 2024Aug 18, 2024

• Astar

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

  Python

  •

  MIT License

  •7•32•1•0•Updated Aug 10, 2024Aug 10, 2024

• derandomization

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

  Python

  •

  MIT License

  •1•5•0•0•Updated May 13, 2024May 13, 2024

• byzantine-generals

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

  Python

  •

  MIT License

  •0•3•0•0•Updated Mar 29, 2024Mar 29, 2024

• fair_dice

  Public
  Python

  •0•6•1•0•Updated Nov 19, 2023Nov 19, 2023

• voting-systems

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

  Python

  •

  MIT License

  •0•2•0•0•Updated Aug 9, 2023Aug 9, 2023

• rubiks-cube-video

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

  Python

  •

  MIT License

  •24•77•0•0•Updated Jul 5, 2023Jul 5, 2023

• universal-search

  Public
  April fools' day videos explaining Levin's universal search

  Python

  •

  MIT License

  •6•35•0•0•Updated Apr 17, 2023Apr 17, 2023

• alpha-code

  Public
  Python

  •

  MIT License

  •1•3•0•0•Updated Oct 7, 2022Oct 7, 2022

• simple_sort

  Public
  Python

  •

  MIT License

  •0•1•0•0•Updated Apr 9, 2022Apr 9, 2022

• manim-rubikscube

  Public
  A Manim implementation of the classic Rubik's Cube

  Python

  •

  MIT License

  •8•0•0•0•Updated Jan 1, 2022Jan 1, 2022

• longest-path-video

  Public
  Animations for the "Longest path in a tree" video

  Python

  •

  MIT License

  •0•1•0•0•Updated Aug 22, 2021Aug 22, 2021