hiroki-chen

hiroki-chen's Stars

• facebookresearch/faiss

  A library for efficient similarity search and clustering of dense vectors.

  Language:C++32.4k4792.5k3.7k

• milvus-io/milvus

  Milvus is a high-performance, cloud-native vector database built for scalable vector ANN search

  Language:Go31.8k28512.6k3k

• rapidsai/cudf

  cuDF - GPU DataFrame Library

  Language:C++8.6k1546.6k919

• lancedb/lancedb

  Developer-friendly, serverless vector database for AI applications. Easily add long-term memory to your LLM apps!

  Language:Python5.3k33819364

• Rust-for-Linux/linux

  Adding support for the Rust language to the Linux kernel.

  Language:C4k127344436

• heavyai/heavydb

  HeavyDB (formerly OmniSciDB)

  Language:C++3k134544449

• heterodb/pg-strom

  PG-Strom - Master development repository

  Language:C1.3k75765165

• succinctlabs/sp1

  The fastest, most feature-complete zkVM for developers.

  Language:Rust1.1k42136402

• noir-lang/noir

  Noir is a domain specific language for zero knowledge proofs

  Language:Rust941182.6k225

• epsilla-cloud/vectordb

  Epsilla is a high performance Vector Database Management System

  Language:C++83462738

• microsoft/Spartan

  Spartan: High-speed zkSNARKs without trusted setup

  Language:Rust7231638127

• intel/Intel-Linux-Processor-Microcode-Data-Files

  6811008473

• zilliztech/VectorDBBench

  VectorDBBench is a benchmark designed to compare the performance and cost-effectiveness of popular vector databases.

  Language:Python60415140167

• vellvm/vellvm

  The Vellvm (Verified LLVM) coq development.

  Language:LLVM4082124234

• Rust-for-Linux/rust-out-of-tree-module

  Basic template for an out-of-tree Linux kernel module written in Rust.

  Language:Rust27615042

• arkworks-rs/circom-compat

  Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.

  Language:Rust2451136118

• geofft/redhook

  Dynamic function call interposition / hooking (LD_PRELOAD) for Rust

  Language:Rust17942117

• erhant/circomkit

  A testing & development environment for Circom.

  Language:TypeScript1033627

• swkim101/cspapers.org

  A search engine dedicated to CS conferences. It provides useful filters for conferences and year range.

  Language:JavaScript86391

• anilshanbhag/crystal

  GPU library for writing SQL queries

  Language:C684821

• Gy-Hu/HW-Formal-Paper

  Recent papers related to hardware formal verification.

  61408

• dusty-nv/NanoDB

  Zero-copy multimodal vector DB with CUDA and CLIP/SigLIP

  Language:Python39357

• brownsys/K9db

  MySQL-compatible database for GDPR compliance by construction.

  Language:C++306720

• virtee/tdx

  Rust library for Intel TDX

  Language:Rust21415

• crema-labs/ecdsa-p384-circom

  ECDSA P384 implementation for circom

  Language:Circom16010

• intel/tdx-guest

  The tdx-guest provides a Rust implementation of Intel® Trust Domain Extensions (Intel® TDX) Guest APIs, supporting for TDX Guest specific instructions, structures and functions.

  Language:Rust15221

• UzL-ITS/tdxdown

  Software Artifacts for the paper "TDXdown: Single-Stepping and Instruction Counting Attacks against Intel TDX"

  13300

• Orbiter-Finance/rapidsnark

  rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.

  Language:C++12102

• Phala-Network/zk-sgx-attester

  SGX remote attester built off RiscZero zkVM

  Language:Rust5311

• gotoco/rust_tlplib

  Rust library to parse PCI TLP's

  Language:Rust4201