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/ex_reason
Elixir Phoenix 1.4 Reason React Sass Parcel Boilerplate
henry-hz/functional-javascript
Collecting stuff on how to write decent code in JS
henry-hz/99-problems
henry-hz/accent
Plug for handling the conversion of JSON API keys to different cases
henry-hz/angularfire-seed-1
Seed project for AngularFire apps
henry-hz/atm
Erlang well explained code
henry-hz/awesome-elixir
A curated list of amazingly awesome Elixir and Erlang libraries, resources and shiny things. Updates:
henry-hz/awesome-remote-job
A curated list of awesome remote jobs and resources. Inspired by https://github.com/vinta/awesome-python
henry-hz/bunny_farm
AMQP erlang client wrapper library using the RabbitMQ libraries
henry-hz/docs
User documentation for Knative components
henry-hz/dotfiles-1
Just some dotfiles son
henry-hz/ecto_job
Transactional job queue with Ecto, PostgreSQL and GenStage
henry-hz/elixir-patterns
Common design solutions
henry-hz/elixir-school
Lessons about the Elixir programming language
henry-hz/ex_apns
An APNS client
henry-hz/flightDelay
FlightDelay Project
henry-hz/gdpr-checklist
The GDPR Checklist
henry-hz/getting-started-kubernetes
Getting Started with Kubernetes Workshop
henry-hz/hueniversity
Community learning experiment
henry-hz/kvs
Container and Iterator
henry-hz/learn-scala
Smooth path to functional, learning through playing methodology + top good stuff to start and to be ninja
henry-hz/mermaid-docker
mermaid is an open source tool for generating diagram and flowchart from text in a similar manner as markdown. This docker image contains mermaid 7.0.11 and is build on top of the official node 8.8.1 image.
henry-hz/meteor-astronomy
Model layer for Meteor
henry-hz/mqs
Subscribe and Publish
henry-hz/ngx-datatable
✨ A feature-rich yet lightweight data-table crafted for Angular4 and beyond!
henry-hz/PredictionIO
PredictionIO, a machine learning server for developers and ML engineers. Built on Apache Spark, HBase and Spray.
henry-hz/reason-tic-tac-toe
Tic-tac-toe game made in Reason
henry-hz/TheRemoteFreelancer
Listing of community-curated resources to find topical remote freelance & contract work for software developers, web designers, and more!
henry-hz/vim-config
Personal configs based on haskell-vim-now
henry-hz/vimrc
Meteor/Web development centric vim config