RAGFlow is an open-source RAG (Retrieval-Augmented Generation) engine based on deep document understanding.

A holistic framework to enable the design, development, and evaluation of autonomous AIOps agents.

Reference implementation for the Poseidon Snark-friendly Hash algorithm.

Everything about note management. All in Zotero.

GPT Meet Zotero.

Night theme for Zotero UI and PDF

Insert and import citations, bibliographies, notes, and PDF annotations from Zotero into Obsidian.

Zotero Plugins Collection | Zotero 插件合集 | Awesome Zotero Plugins

This repo includes ChatGPT prompt curation to use ChatGPT and other LLM tools better.

Supercharge Your LLM Application Evaluations 🚀

MTEB: Massive Text Embedding Benchmark

MarkLLM: An Open-Source Toolkit for LLM Watermarking.（EMNLP 2024 Demo）

Zuzalu Passport

A curated list of Plonky3 resources, libraries, tools and more.

zkSNARK implementation in JavaScript & WASM

A toolkit for polynomial IOPs (PIOPs)

This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Plonky3.

A STARK prover and verifier for arbitrary computations

⚙️🦀 Build portable, modular & lightweight Fullstack Agents

Autonomous agents for everyone

(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.

The Halo2 zero-knowledge proving system

Library of basic circuits for circom

A zero-knowledge protocol for anonymous interactions.

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

Open standard for machine learning interoperability

zkSnark circuit compiler

Circom Circuits Library for Machine Learning