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/chat-gpt
Some interesting dialogs with chat-gpt
henry-hz/size-fv
henry-hz/internal-mechanisms-fv
Slides of the september 2024 meetup in Tel Aviv
henry-hz/mathlib4
The math library of Lean 4
henry-hz/AutoGPT
AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.
henry-hz/BallGameExample
An example showing how to strenghten an inductive hypothesis
henry-hz/cheatsheet.sol
Solidity – Compilable Cheatsheet
henry-hz/chess
POC
henry-hz/ConstantProductExample
An example specification for a constant product pool
henry-hz/evm-dis
An EVM bytecode disassembler/assembler
henry-hz/freenove
Apply to FNK0066
henry-hz/gif-contracts
This is the official Repo of the Generic Insurance Framework (GIF) Core Contracts.
henry-hz/git-public-example
henry-hz/halmos
A symbolic testing tool for EVM smart contracts
henry-hz/hammersbald
Hammersbald is a fast embedded blockchain database
henry-hz/lean-math
The user home repository for the Mathematics in Lean tutorial.
henry-hz/lean3-tactic-lean4
Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4
henry-hz/lean4-intro
Lean4 intro classes [lftcm2023] https://lftcm2023.github.io/tutorial/index.html
henry-hz/lean4-maze
maze game encoded in Lean 4 syntax
henry-hz/LiquidityPoolExample
Example Certora verification for a simple multi-contract system
henry-hz/luni-solar
henry-hz/math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
henry-hz/overlay-ui
test overlay
henry-hz/program-proofs
henry-hz/PTSD_prompts
GPT based PTSD experiments - USE AT OWN RISK - EXPERIMENTAL ONLY
henry-hz/SlowMist-Learning-Roadmap-for-Becoming-a-Smart-Contract-Auditor
Smart contract audit skills roadmap for beginners, auditors, engineers, etc.
henry-hz/smart-contract-vulnerabilities
A collection of smart contract vulnerabilities along with prevention methods
henry-hz/timelib
A date and time library for Lean 4
henry-hz/tutorials-code
Certora tutorials
henry-hz/WrappedEther.dfy
Dafny Model of the WrappedEther Smart Contract