Giters
Henry Hz (henry-hz)

henry-hz

Geek Repo

38

followers

23

following

1k

stars

Github PK Tool:Github PK Tool

Henry Hz's starred repositories

llama3

The official Meta Llama 3 GitHub site

Language:PythonLicense:NOASSERTIONStargazers:24960Issues:206Issues:211

brigadier

Fetch and install Boot Camp ESDs with ease.

Language:PythonLicense:MITStargazers:2011Issues:63Issues:92

ethernaut

Web3/Solidity based wargame

Language:SolidityLicense:MITStargazers:1945Issues:32Issues:209

risc0

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

Language:C++License:Apache-2.0Stargazers:1569Issues:52Issues:516

kakarot

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

Language:CairoLicense:MITStargazers:931Issues:24Issues:505

connectkit

Connecting a wallet, made simple.

Language:TypeScriptLicense:BSD-2-ClauseStargazers:831Issues:5Issues:119

aave-v3-core

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

Language:TypeScriptLicense:NOASSERTIONStargazers:820Issues:34Issues:403

evm-puzzles

A collection of EVM puzzles

Language:JavaScriptStargazers:798Issues:9Issues:4

solc-select

Manage and switch between Solidity compiler versions

Language:PythonLicense:AGPL-3.0Stargazers:740Issues:23Issues:104

noble-curves

Audited & minimal JS implementation of elliptic curve cryptography.

Language:TypeScriptLicense:MITStargazers:637Issues:11Issues:98

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:RustLicense:Apache-2.0Stargazers:422Issues:14Issues:391

awesome-huff

A curated list of resources for Huff language

Stargazers:300Issues:7Issues:2

amarna

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

Language:PythonLicense:AGPL-3.0Stargazers:150Issues:3Issues:35

typescript-node-express-realworld-example-app

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

Language:TypeScriptStargazers:132Issues:0Issues:3

euler-contracts

Language:JavaScriptLicense:NOASSERTIONStargazers:129Issues:12Issues:7

zmanim

KosherJava Zmanim API / Library

Language:JavaLicense:LGPL-2.1Stargazers:104Issues:14Issues:51

shamir-secret-sharing

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

Language:TypeScriptLicense:Apache-2.0Stargazers:90Issues:5Issues:4

horus-checker

Horus, a formal verification tool for StarkNet smart contracts.

Language:HaskellLicense:NOASSERTIONStargazers:70Issues:7Issues:15

10k_swap-contracts

A decentralized ZK Rollup AMM written in Cairo for StarkNet.

Language:CairoStargazers:61Issues:2Issues:0

risc0-lean4

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

Language:LeanLicense:Apache-2.0Stargazers:51Issues:20Issues:0

sss-node

node.js bindings for the sss secret sharing library

Language:C++License:MITStargazers:34Issues:2Issues:7

Zmanim

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

Language:C#License:LGPL-3.0Stargazers:32Issues:11Issues:20

lean-4-hackers

Language:LeanStargazers:17Issues:5Issues:1

express-typescript-example

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

Language:TypeScriptStargazers:16Issues:2Issues:0

timelib

A date and time library for Lean 4

Language:LeanLicense:Apache-2.0Stargazers:11Issues:0Issues:0

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:TypeScriptLicense:MITStargazers:11Issues:0Issues:0

Scaffold-Eth-2-BuildBear

Open source forkable Ethereum dev stack

Language:TypeScriptLicense:MITStargazers:8Issues:0Issues:0

go-zmanim

Go Zmanim API library

Language:GoLicense:LGPL-2.1Stargazers:6Issues:1Issues:0

cairo-1-vim-config

Config for cairo 1 development in vim

Language:Vim ScriptStargazers:4Issues:2Issues:0

svarknet

A Starknet starter dapp built with Svelte and Vite

Language:TypeScriptStargazers:2Issues:2Issues:0