A performant and modular zkVM framework built for customization and extensibility.

A curated list of zkVM, zero-knowledge virtual machine

This repository collects papers for "A Survey on Knowledge Distillation of Large Language Models". We break down KD into Knowledge Elicitation and Distillation Algorithms, and explore the Skill & V…

A curated list of awesome things related to learning Binius

Personal notes about ZKP

A modular stack for zkVMs, with a focus on productivity, security and performance.

Easily share folders between VMs.

zkBitcoin: zero-knowledge proofs on Bitcoin!

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).

GPT4All: Run Local LLMs on Any Device. Open-source and available for commercial use.

🎉 Repo for LaWGPT, Chinese-Llama tuned with Chinese Legal knowledge. 基于中文法律知识的大语言模型

AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

bloop is a fast code search engine written in Rust.

Guidelines and training material to write secure smart contracts

The fast sync and async channel that Rust deserves

A UI for eBPF-based performance debugging

⚡ An async autocompletion framework for Neovim

A terminal workspace with batteries included

Track and query Cargo dependency graphs.

Godwoken is an optimistic rollup solution built on Nervos CKB.

Unlock vGPU functionality for consumer grade GPUs.

Orgmode clone written in Lua for Neovim 0.9+.

A ckb lock script which can make use of other blockchain wallets as ckb wallets.

Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier for rustaceans.

An Awesome List for resources on the foundations of Decentralized Finance (DeFi)

A protobuf code generation framework for the Rust language developed at Dropbox.

A small embeddable ipfs implementation

Test infrastructure for the Kubernetes project.