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/erlang-trader
Porting the AlgoTrader (Java) code to Erlang [Abandoned]
henry-hz/erlang-mindmaps
Super ultra cool mindmaps to help you understand and be productive on the art of coding in Erlang-OTP
henry-hz/angular-firebase-auth
Role based authorization for Firebase
henry-hz/n2o-bootstrap
Bootstrap to start your new n2o super fast app
henry-hz/phone-plan-simulator
If you want to test on how you would perform using your cellular plan, this is a simple framework to do it.
henry-hz/address-js
Biblioteca javascript para usar a API de Endereço, Cidades e Estados
henry-hz/angular.js
henry-hz/angularfire-seed
updated to 0.9.0
henry-hz/angularfire-seed-1
Seed project for AngularFire apps
henry-hz/automath
henry-hz/bunny_farm
AMQP erlang client wrapper library using the RabbitMQ libraries
henry-hz/erlang-iot
henry-hz/fix
http://fixprotocol.org/ implementation.
henry-hz/hapi-angular-bootstrap
Hapi Web-Server with AngularJS minimal application to be used with the hapi-api-bootstrap
henry-hz/hapi-angular-poc
A POC in a postmile style
henry-hz/hueniversity
Community learning experiment
henry-hz/jwt-auth
JWT auth in Hapi style
henry-hz/leptus
Erlang REST framework that runs on top of cowboy
henry-hz/linux-configs
vim, tmux, and other cool configs
henry-hz/recipes-with-angular-js-examples
Recipes with Angular.js
henry-hz/websocket-back
Cowboy Websocket Bootstrap for Dev with Sync + Observer