petscheit

petscheit's Stars

• f/awesome-chatgpt-prompts

  This repo includes ChatGPT prompt curation to use ChatGPT better.

  Language:HTML115k1.5k015.7k

• run-llama/llama_index

  LlamaIndex is a data framework for your LLM applications

  Language:Python37.7k2505.7k5.4k

• directus/directus

  The flexible backend for all your projects 🐰 Turn your DB into a headless CMS, admin panels, or apps with a custom UI, instant APIs, auth & more.

  Language:TypeScript28.6k3238.8k4k

• openchatai/OpenChat

  LLMs custom-chatbots console ⚡

  Language:JavaScript5.2k59119640

• ethereum/consensus-specs

  Ethereum Proof-of-Stake Consensus Specifications

  Language:Python3.6k243941996

• sigp/lighthouse

  Ethereum consensus client in Rust

  Language:Rust3k692k782

• a16z/helios

  A fast, secure, and portable multichain light client for Ethereum

  Language:Rust1.9k28141324

• Zokrates/ZoKrates

  A toolbox for zkSNARKs on Ethereum

  Language:Rust1.8k41482365

• ethereum/pm

  Project Management: Meeting notes and agenda items

  Language:Python1.6k307687336

• 0xPolygonZero/plonky2

  Language:Rust79031169298

• microsoft/Nova

  Nova: High-speed recursive arguments from folding schemes

  Language:Rust7262347194

• paulmillr/noble-curves

  Audited & minimal JS implementation of elliptic curve cryptography.

  Language:JavaScript7171111166

• keep-starknet-strange/madara

  DEPRECATED in favor of https://github.com/madara-alliance/madara

  Language:Rust53811572292

• argumentcomputer/lurk-beta

  Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)

  Language:Rust4351539158

• powdr-labs/powdr

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

  Language:Rust4301746597

• eth-clients/sepolia

  the sepolia/bepolia testnet configurations.

  Language:Python346135698

• ethereum/annotated-spec

  Vitalik's annotated eth2 spec. Not intended to be "the" annotated spec; other documents like Ben Edgington's https://benjaminion.xyz/eth2-annotated-spec/ also exist. This one is intended to focus more on design rationale.

  33116862

• keep-starknet-strange/garaga

  State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.

  Language:Cairo20956458

• yi-sun/circom-pairing

  Language:TypeScript19561631

• EYBlockchain/starlight

  :zap: solidity --> zApp transpiler :zap:

  Language:JavaScript1921014938

• worldcoin/proto-neural-zkp

  Artificial intelligence and zero knowledge.

  Language:Rust17539023

• andrewmilson/sandstorm

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

  Language:Rust15771022

• axelarnetwork/tofn

  A threshold cryptography library in Rust

  Language:Rust112298324

• aragonzkresearch/noir-trie-proofs

  Language:Roff6231014

• scroll-tech/halo2

  Language:Rust4341939

• carver/eth-trie.rs

  Rust implementation of the Modified Patricia Tree (aka Trie).

  Language:Rust2021117

• albertov19/PolkaTools

  Tools using the Polkadot API

  Language:TypeScript11205

• petscheit/bankai

  Language:Cairo10311

• HerodotusDev/trie-proofs

  A comprehensive transaction MPT proofs handler for Ethereum / Starknet

  Language:Rust9233

• themacexpert/dappcon

  DappCon 2022 Workshop

  3200