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/elixir-in-a-team
henry-hz/digital-quarantine
Using AI + Bit Data + Blockchain to stop corona virus
henry-hz/learn-coding
Path to learn how to code
henry-hz/fluttex
Flutter & Elixir Phoenix
henry-hz/bitmap-fonts
henry-hz/content-filter
Open Source Content Filter Installation
henry-hz/daf_yomi
Python code for performing calculations related to Daf Yomi
henry-hz/daf_yomi_study
Chazara Table for Daf Yomi
henry-hz/deposit-sc-dafny
Deposit smart contract in Dafny
henry-hz/developerguides
Developer guides to integrate with MakerDAO's smart contracts, SDKs, APIs, products, and partners
henry-hz/docs-1
Fuse Network Docs.
henry-hz/ds-guard
Whitelist DSAuthority for use with DSAuth
henry-hz/ds-note
Log function calls as events
henry-hz/ethhub
The essential Ethereum information hub.
henry-hz/financial-demo
A demo for a financial services bot
henry-hz/fuse-studio
Web 3.0 tool for creating and operating communities on the Fuse network
henry-hz/hamagen-react-native
Israel's Ministry of Health's COVID-19 Exposure Prevention App
henry-hz/lean-4-hackers
word count in lean
henry-hz/ohmyzsh
🙃 A delightful community-driven (with 1900+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
henry-hz/ParsingJSON-Flutter
Experimenting with 6 examples of different types of simple and complex JSON structures in Flutter
henry-hz/phoenix_wings
Phoenix Channels client for Dart / Flutter
henry-hz/rasa-sdk-elixir
henry-hz/react-diagrams
a super simple, no-nonsense diagramming library written in react that just works
henry-hz/substrate-developer-hub.github.io
Substrate Documentation
henry-hz/vim-solidity
Vim syntax file for solidity
henry-hz/vim-vyper
Vim syntax highlighting for the smart contract programming language Vyper
henry-hz/WalletFromPK
Generate wallet form Ethereum private key
henry-hz/website
Flutter web site
henry-hz/wepy-wallet
henry-hz/zuniswap
UniswapV1 clone made in educational purposes