henry-hz

henry-hz's Stars

• meta-llama/llama3

  The official Meta Llama 3 GitHub site

  Language:Python27.6k2302733.2k

• timsutton/brigadier

  Fetch and install Boot Camp ESDs with ease.

  Language:Python2.1k6593200

• OpenZeppelin/ethernaut

  Web3/Solidity based wargame

  Language:Solidity2k33212689

• risc0/risc0

  RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

  Language:C++1.7k52552460

• kkrt-labs/kakarot

  Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.

  Language:Cairo1k23620321

• family/connectkit

  Connecting a wallet, made simple.

  Language:TypeScript8976132197

• aave/aave-v3-core

  This repository contains the core smart contracts of the Aave V3 protocol.

  Language:TypeScript88934410584

• fvictorio/evm-puzzles

  A collection of EVM puzzles

  Language:JavaScript822104163

• crytic/solc-select

  Manage and switch between Solidity compiler versions

  Language:Python76421105103

• paulmillr/noble-curves

  Audited & minimal JS implementation of elliptic curve cryptography.

  Language:JavaScript7111111165

• lurk-lab/lurk-rs

  Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.

  Language:Rust4221439154

• devtooligan/awesome-huff

  A curated list of resources for Huff language

  3087228

• crytic/amarna

  Amarna is a static-analyzer and linter for the Cairo programming language.

  Language:Python1483357

• skopekreep/typescript-node-express-realworld-example-app

  Rewrite of JS-based node-express RealWorld backend app using Typescript.

  Language:TypeScript1370331

• euler-xyz/euler-contracts

  Language:JavaScript13113755

• privy-io/shamir-secret-sharing

  Simple, independently audited, zero-dependency TypeScript implementation of Shamir's Secret Sharing algorithm

  Language:TypeScript1265419

• KosherJava/zmanim

  KosherJava Zmanim API / Library

  Language:Java108145250

• NethermindEth/horus-checker

  Horus, a formal verification tool for StarkNet smart contracts.

  Language:Haskell728157

• 10k-swap/10k_swap-contracts

  A decentralized ZK Rollup AMM written in Cairo for StarkNet.

  Language:Cairo612024

• risc0/risc0-lean4

  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover

  Language:Lean602104

• dsprenkels/sss-node

  node.js bindings for the sss secret sharing library

  Language:C++34278

• Yitzchok/Zmanim

  Jewish Zmanim Framework (Port of Java Zmanim project by KosherJava)

  Language:C#34112117

• bezkoder/express-typescript-example

  Express Typescript example - Build Node.js Typescript Rest Api example

  Language:TypeScript203010

• agentultra/lean-4-hackers

  Language:Lean17522

• ammkrn/timelib

  A date and time library for Lean 4

  Language:Lean11314

• Shamirs-Wallet/shamirs-secret-sharing-ts

  A simple implementation of Shamir's Secret Sharing configured to use a finite field in GF(2^8) with 128 bit padding

  Language:TypeScript114

• BuildBearLabs/Scaffold-Eth-2-BuildBear

  Open source forkable Ethereum dev stack

  Language:TypeScript101052

• vlipovetskii/go-zmanim

  Go Zmanim API library

  Language:Go7101

• amanusk/cairo-1-vim-config

  Config for cairo 1 development in vim

  Language:Vim Script4203

• subvisual/svarknet

  A Starknet starter dapp built with Svelte and Vite

  Language:TypeScript3201