-
research engineer @ChainSafe
- Berlin
- https://taueflambda.dev
- @timofeyfey
Lists (10)
Sort Name ascending (A-Z)
- All languages
- Assembly
- Astro
- C
- C#
- C++
- CSS
- Cairo
- Circom
- Clojure
- Cuda
- Dart
- Erlang
- Go
- HTML
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- Markdown
- Mustache
- Noir
- OCaml
- PEG.js
- PHP
- Python
- Ruby
- Rust
- SCSS
- Sage
- Shell
- Sieve
- Smarty
- Solidity
- Starlark
- Swift
- TeX
- TypeScript
- Verilog
- WebAssembly
- Wikitext
- Zig
Starred repositories
EdegQuake 🌋 High-performance GraphRAG inspired from LightRag written in Rust; Transform documents into intelligent knowledge graphs for superior retrieval and generation
[EMNLP2025] "LightRAG: Simple and Fast Retrieval-Augmented Generation"
A polyglot document intelligence framework with a Rust core. Extract text, metadata, images, and structured information from PDFs, Office documents, images, and 91+ formats. Available for Rust, Pyt…
GraphRAG-rs is a high-performance, state-of-the-art Rust implementation of GraphRAG (Graph-based Retrieval Augmented Generation) that builds knowledge graphs from documents and enables natural lang…
Local Embedding models benchmark tool & result
A Rust-based Model Context Protocol (MCP) server that provides AI assistants with powerful RAG (Retrieval-Augmented Generation) capabilities for understanding massive codebases. Index codebases wit…
Rust library for vector embeddings and reranking.
Your AI pair programmer's memory, synced to Obsidian
A complete development environment for experimenting with AWS Nitro Enclaves using QEMU VM simulation. This project provides a local development setup that mimics the Nitro Enclave environment, all…
A customizable Claude Code configuration template with skills, agents, and Obsidian integration
AI research assistant that extracts structured patterns from papers using RAG, LangGraph, and Claude. Query across your research library with natural language.
Parse Encrypt Execute Verify - A Verifiable FHE Framework
FLUTE: Fast and Secure Lookup Table Evaluations
Fast zkVM born at a16z Crypto substantially adapted by ICME Labs (NovaNet) for verifiable machine learning. ⚡
Implementation of the paper "Modular Sumcheck Proofs with Applications to Machine Learning and Image Processing"
Proof-of-concept implementation for the paper "Homomorphic Encryption for Large Integers from Nested Residue Number Systems", presented at Crypto 2025. https://eprint.iacr.org/2025/346
Curl: Private LLMs through Wavelet-Encoded Look-Up Tables
MAESTRO: Multi-party AES using Lookup Tables - Various oblivious AES protocols for passively and actively secure three-party secure computation