Pinned 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. log-anomaly-lab log-anomaly-lab Public

   Embedding-based log anomaly detection with a vector database as part of the model. MiniLM + Qdrant, three unsupervised detectors, and honest imbalance-aware evaluation (PR-AUC, precision@k, per-typ…

   Python

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

4. nsc nsc Public

   A compiler for fully homomorphic encryption whose thesis is a noise budget type system: a program that cannot be statically proved to decrypt correctly is a compile error, not a runtime surprise. H…

   Rust

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

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