Popular repositories Loading

1. edgevec edgevec Public

   High-performance vector search for Browser, Node, and Edge

   Rust 97 6

2. binary_semantic_cache binary_semantic_cache Public

   High‑performance semantic cache for LLMs with a Rust core, 256‑bit binary embeddings, ~10 ms index load at 1M entries, and native OpenAI/Ollama integration.

   Python 7

3. lecture-mind lecture-mind Public

   VL-JEPA Lecture Summarizer - Event-aware lecture summarization using vision-language understanding

   JavaScript 4 4

4. phantom_guard phantom_guard Public

   👻 Stop installing packages that don't exist. When AI hallucinates names like "flask-gpt-helper", attackers register them as malware. Phantom Guard detects slopsquatting attacks across PyPI, npm & c…

   Python 3

5. auto-z3 auto-z3 Public

   A visual, no-code interface for Z3 that lets you explore propositional and first-order logic, SAT solving, and map coloring with Folium. Designed for education, research, and logic enthusiasts.

   Python 1

6. compu_helper compu_helper Public

   🎓 Advanced interactive learning platform for theoretical computer science. Master SMT solvers, set theory, logic, and formal methods through adaptive quizzes, spaced repetition, and progress tracki…

   Python 1