Popular repositories Loading

1. zkc zkc Public

   A zero-knowledge circuit compiler whose thesis is a determinacy type system: a circuit whose outputs are not uniquely determined by its inputs is a compile error, not a runtime surprise. Haskell fr…

   Rust 1

2. RAG-Evaluation-Lab RAG-Evaluation-Lab Public

   An engineering harness for RAG: three chunking strategies and three retrievers (dense, hybrid+RRF, cross-encoder rerank) as versioned experiments, evaluated with deterministic retrieval metrics and…

   Python

3. text-to-sql text-to-sql Public

   Ask a database questions in plain English and get SQL that actually runs. The key is schema linking: relevant tables are retrieved by embedding similarity (with foreign-key expansion) before prompt…

   Python

4. Semantic-Code-Search Semantic-Code-Search Public

   Search a Java codebase in natural language ("find the function that validates a JWT token") instead of grepping. AST-based chunking with JavaParser, transformer embeddings via DJL, Qdrant vector st…

   Java

5. Multimodal-Image-Search Multimodal-Image-Search Public

   Cross-modal image search with CLIP + Qdrant: query one vector space by text or by an example image (text→image and image→image) against a single index. Includes a FastAPI app with a drag-and-drop U…

   Python

6. bitr00t bitr00t Public

   Statically generated personal tech blog. Next.js and MDX with LaTeX-style numbered code listings and cross-references, bilingual, no database, no tracking.

   TypeScript