Popular repositories Loading

1. hashlattice hashlattice Public

   A distributed network based on hash codes and lattices.

   JavaScript 14

2. mcmc-synthesis mcmc-synthesis Public

   MCMC applied to program synthesis

   Haskell 7 2

3. gigascaling gigascaling Public

   Scaling blockchains to billions of daily users

   TeX 6 1

4. hashlattice_rs hashlattice_rs Public

   hashlattice in Rust

   Agda 3

5. elproto elproto Public

   Prototype for elb reversible probabilistic programming

   Haskell 2 1

6. EgyptGraph EgyptGraph Public

   Egypt graph visualization

   Python 1