Pinned Repositories
internal-mechanisms-fv
Internal Mechanisms of Formal Verification - Meetup - Set 2024
angular-firebase-auth
Role based authorization for Firebase
digital-quarantine
Using AI + Bit Data + Blockchain to stop corona virus
elixir-in-a-team
erlang-mindmaps
Super ultra cool mindmaps to help you understand and be productive on the art of coding in Erlang-OTP
erlang-trader
Porting the AlgoTrader (Java) code to Erlang [Abandoned]
ex_reason
Elixir Phoenix 1.4 Reason React Sass Parcel Boilerplate
functional-javascript
Collecting stuff on how to write decent code in JS
internal-mechanisms-fv
Slides of the september 2024 meetup in Tel Aviv
mathlib4
The math library of Lean 4
henry-hz's Repositories
henry-hz/arbitrum
Powers fast, private, decentralized applications
henry-hz/bedrock-l1
Testing new Optimism
henry-hz/bootcamp
Repo of the Web3 bootcamp of EatTheBlocks. Want to apply? https://eattheblocks.typeform.com/bootcamp
henry-hz/cairo-challenge
henry-hz/certora
Practical tutorials of Certora Prover
henry-hz/clear-dai
henry-hz/CustomerExamples
Spec examples for self-serving customers
henry-hz/ds-arb
Arbitrum Shared Files
henry-hz/ds-math
Safe arithmetic
henry-hz/ds-token
A simple and sufficient ERC20 implementation
henry-hz/dss-deploy-scripts
henry-hz/eattheblocks
Source code for Eat The Blocks, a screencast for Ethereum Dapp Developers
henry-hz/f2
test seth remote debbugger
henry-hz/flightdelay-contracts
henry-hz/flightdelay-interface
henry-hz/flightdelay-oracles
henry-hz/foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
henry-hz/foundry-huff
A Foundry Library for compiling, debugging, and working with Huff contracts in Solidity.
henry-hz/fuse-l2-archived
Arbitrum Fork
henry-hz/lambda-mod-zsh-theme
A simple zsh theme.
henry-hz/openzeppelin-contracts
OpenZeppelin Contracts is a library for secure smart contract development.
henry-hz/optimism
henry-hz/optimism-tutorial
[Optimism] Learn to build an Optimistic app!
henry-hz/smart-contract-security-101
henry-hz/smart-contract-security-201
Repo of the course Smart Contract Security 201
henry-hz/sss
Library for the Shamir secret sharing scheme
henry-hz/sss-cli
Command line program for secret-sharing strings
henry-hz/svarknet
A Starknet starter dapp built with Svelte and Vite
henry-hz/terra-dapp-1
Terra full app poc
henry-hz/tx2uml
Ethereum transaction visualizer. Generates UML sequence diagram for a transaction's contract calls.