henry-hz Goto Github PK

99-problems

accent

Plug for handling the conversion of JSON API keys to different cases

address-js

Biblioteca javascript para usar a API de Endereço, Cidades e Estados

angular-firebase-auth

Role based authorization for Firebase

angular.js

angularfire-seed

updated to 0.9.0

angularfire-seed-1

Seed project for AngularFire apps

arbitrum

Powers fast, private, decentralized applications

atm

Erlang well explained code

automath

awesome-elixir

A curated list of amazingly awesome Elixir and Erlang libraries, resources and shiny things. Updates:

awesome-remote-job

A curated list of awesome remote jobs and resources. Inspired by https://github.com/vinta/awesome-python

awesome-startup

All you need to start a new venture

ballgameexample

An example showing how to strenghten an inductive hypothesis

bedrock-l1

Testing new Optimism

bitmap-fonts

bootcamp

Repo of the Web3 bootcamp of EatTheBlocks. Want to apply? https://eattheblocks.typeform.com/bootcamp

bunny_farm

AMQP erlang client wrapper library using the RabbitMQ libraries

cairo-challenge

certora

Practical tutorials of Certora Prover

chat-gpt

Some interesting dialogs with chat-gpt

cheatsheet.sol

Solidity – Compilable Cheatsheet

chess

POC

clear-dai

constantproductexample

An example specification for a constant product pool

content-filter

Open Source Content Filter Installation

customerexamples

Spec examples for self-serving customers

daf_yomi

Python code for performing calculations related to Daf Yomi

daf_yomi_study

Chazara Table for Daf Yomi

deposit-sc-dafny

Deposit smart contract in Dafny