The Wayback Machine - https://web.archive.org/web/20201125164346/https://github.com/heidihoward
Skip to content
Avatar
  • Block or report user

    Block or report heidihoward

    Report abuse

    Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

    Report abuse
215 followers · 28 following · 127

Highlights

  • Arctic Code Vault Contributor
  • Pro

Popular repositories

  1. distributed-consensus-reading-list

    A long list of academic papers on the topic of distributed consensus

    700 44

  2. ocaml-raft

    Implementation of Raft consensus algorithm

    OCaml 92 10

  3. ios

    Reliable distributed agreement service for the cloud

    Go 44 6

  4. ocaml-dns-examples

    introduction to ocaml-dns for MirageOS

    OCaml 6 2

  5. ocaml-raft-data

    Data collected from the ocaml-raft simulator

    Python 4 1

  6. coracle

    Forked from consensus-oracle/coracle

    Simulation of consensus algorithms in heterogeneous networks

    JavaScript 3 1

265 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity

November 2020

Created 2 commits in 2 repositories

Created an issue in Apress/practical-tla-plus that received 3 comments

Chapter 3 - page 54

The sentence "Functions ... have no restrictions on recursion" implied to me that operations could not be recursive. However, they can be and here …

3 comments
Opened 2 other issues in 1 repository
You can’t perform that action at this time.