Pinned Loading

1. verified-compiler verified-compiler Public

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

   Lean 3

2. brunosearch brunosearch Public

   🔍 Semantic search over Brown's course catalog powered by Redis vector store and OpenAI embeddings.

   Rust

3. nostrust nostrust Public

   🕊️ Experimental trustworthy and GDPR-compliant Nostr relay powered by the Intel SGX trusted execution environment.

   Rust 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++ 3 1

6. 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