An open-source RAG-based tool for chatting with your documents.

Autonomous coding agent right in your IDE, capable of creating/editing files, executing commands, using the browser, and more with your permission every step of the way.

⏩ Continue is the leading open-source AI code assistant. You can connect any models and any context to build custom autocomplete and chat experiences inside VS Code and JetBrains

Ethereum consensus client in Rust

Noir is a domain specific language for zero knowledge proofs

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Handshake Daemon & Full Node

A toolbox for zkSNARKs on Ethereum

zkDatabase, a distributed off-chain database with ZK prover

A JavaScript Framework for Verifiable Data

A comprehensive, up-to-date collection of information about several thousands (!) of crypto tokens.

zkSync era

A DPoS blockchain.

Optimism is Ethereum, scaled.

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

awesome-zkml repository

A web-based tool that allows you to compare the development activity of multiple GitHub repositories

Zeko: zk-Rollup for Mina, a succinct blockchain

A Decentralized Operating System for ZK Applications

TypeScript framework for zk-SNARKs and zkApps

Horizen

A browser-based, multi-chain wallet hosted on the Internet Computer

An IPFS implementation in Go

This repository contains the source code and assets for the Fleek.xyz website, which is built using the Astro.js framework for enhanced performance and speed. The project leverages Tailwind CSS for…

A collection of libraries and tools for building software around the Internet Computer, in JavaScript.

Robust Speech Recognition via Large-Scale Weak Supervision

Optimizer and compiler/toolchain library for WebAssembly

Experience macOS just like before

Build Web3 at Lightning Speed