macOS Adobe apps download & installer

wechatgpt golang版 chatgpt机器人(可docker部署)，目前支持wechat，telegram

macOS cross compiler toolchains

A memory profiler for Linux.

Statistics-driven benchmarking library for Rust

自动化反编译微信小程序，小程序安全评估工具，发现小程序安全问题，自动解密，解包，可还原工程目录，支持Hook，小程序修改

A curated list of ZK/FHE resources and links. 👇 Click below for the website version.

AIdea 是一款支持 GPT 以及国产大语言模型通义千问、文心一言等，支持 Stable Diffusion 文生图、图生图、 SDXL1.0、超分辨率、图片上色的全能型 APP。

AIdea 是一款支持 GPT 以及国产大语言模型通义千问、文心一言等，支持 Stable Diffusion 文生图、图生图、 SDXL1.0、超分辨率、图片上色的全能型 APP。

Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers

Nova: Recursive SNARKs without trusted setup

Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)

Cross-platform GUI written in Rust using ADB to debloat non-rooted android devices. Improve your privacy, the security and battery life of your device.

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM

Writing an OS in Rust

《使用Rust编写操作系统》

Rust library for OpenAI

The WebAssembly Binary Toolkit

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another th…

glacier is a app framework for rapid service development

Go-IOC is a runtime dependency injection library for Go

1024 game playground

OpenCL code generator for finite-field arithmetic over arbitrary prime fields

Emscripten: An LLVM-to-WebAssembly Compiler

zkp-co-learning

Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.