arkworks-rs / poly-commit

Interfaces for Relations and SNARKs for these relations

Libraries for finite field, elliptic curve, and polynomial arithmetic

A Rust library for the Marlin preprocessing zkSNARK

Implementations of popular elliptic curves

A Rust library for the Marlin preprocessing zkSNARK

eBPF distributed networking observability tool for Kubernetes

大模型Grok-1开源

Zero-Shot Speech Editing and Text-to-Speech in the Wild

Monorepo of halo2 crates

Spartan: High-speed zkSNARKs without trusted setup

#编程语言#⭐️ A friendly language for building type-safe, scalable systems!

Puter 是一个运行在浏览器上的OS。功能丰富、快速、可扩展性强。它可以用于构建远程桌面环境，也可以作为云存储服务、远程服务器、网络托管平台等的接口。

#大语言模型#🙌 OpenHands: Code Less, Make More

Interfaces for Relations and SNARKs for these relations

#前端开发#现代化、全栈 Web 应用模板。使用FastAPI、React, SQLModel, PostgreSQL, Docker, GitHub Actions 等技术。

Easily build SQL queries in Go.

[ECCV 2024] Champ: Controllable and Consistent Human Image Animation with 3D Parametric Guidance

Fast Rust bundler for JavaScript/TypeScript with Rollup-compatible API.

🤖 Powerful asynchronous state management, server-state utilities and data fetching for the web. TS/JS, React Query, Solid Query, Svelte Query and Vue Query.

#区块链#Klefki is a playground for researching elliptic curve group based algorithm, such as MPC, ZKP and HE. All data types & structures are based on mathematical defination of abstract algebra.

Ziggy is an open source platform that uses AI to help gather feedback by automatically conducting unstructured feedback interviews.