Pinned Loading

1. creationDate creationDate Public

   ⏳ Approximating creation dates for telegram accounts. Currently at 500K+ requests with 100K+ users

   Python 97 20

2. genetic-salesman genetic-salesman Public

   🗺 A genetic algorithm to find the shortest path for coordinates on a cartesian plane - solution to the Traveling Salesman

   Jupyter Notebook 1

3. verified-compiler verified-compiler Public

   ⛓️ Simple verified compiler in Lean4. Lisp-like interpreter, simulated processor and correctness proofs.

   Lean 2

4. graph-equivalence graph-equivalence Public

   📆 Exam scheduling, latin squares and more — exploring problems equivalent to graph coloring in a visually appealing fashion

   GLSL

5. ishika2603/human-dj ishika2603/human-dj Public

   🎵 an interactive musical synthesizer powered by human touch!

   C++ 1