Pinned Loading
-
verified-compiler
verified-compiler Publicโ๏ธ Simple verified compiler in Lean4. Lisp-like interpreter, simulated processor and correctness proofs.
Lean 3
-
brunosearch
brunosearch Public๐ Semantic search over Brown's course catalog powered by Redis vector store and OpenAI embeddings.
Rust
-
graph-equivalence
graph-equivalence Public๐ Exam scheduling, latin squares and more โ exploring problems equivalent to graph coloring in a visually appealing fashion.
GLSL
-
ishika2603/human-dj
ishika2603/human-dj Public๐ต an interactive musical synthesizer powered by human touch!
C++ 3
-
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
If the problem persists, check the GitHub status page or contact support.