Pinned Loading

1. solver-project solver-project Public

   A DSL for Solving Adversarial 2-Player Games

   F#

2. probable-reducer probable-reducer Public

   Probabilistic rainbow table reducer functions using Markovian dictionaries

   Python

3. raft-in-ocaml raft-in-ocaml Public

   An Implementation of Raft Consensus in OCaml

   OCaml